Skip to content
Ubuntu build

[v2.1-rc1] Change quantification from implicit to explicit in Algebra.Construct.Pointwise.liftRel #3524

Sign in to view logs

[v2.1-rc1] Change quantification from implicit to explicit in Algebra.Construct.Pointwise.liftRel

[v2.1-rc1] Change quantification from implicit to explicit in Algebra.Construct.Pointwise.liftRel #3524

Triggered via pull request July 6, 2024 12:19
@jamesmckinnajamesmckinna
opened #2433
jamesmckinna:v2.1-rc1-pointwise-algebra-fix
Status Success
Total duration 37m 34s
Artifacts –

ci-ubuntu.yml

on: pull_request
test-stdlib
37m 24s
test-stdlib
Fit to window
Zoom out
Zoom in