Skip to content
ci

Not collecting axioms and declarations unless necessary, and resettin… #1664

Sign in to view logs

Not collecting axioms and declarations unless necessary, and resettin…

Not collecting axioms and declarations unless necessary, and resettin… #1664

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test-and-assemble
12m 20s
release-snapshot
0s
12m 20s