Skip to content
Build

chore: update reference to eso→pre-faithful in Hott.lagda.md #3202

Sign in to view logs

chore: update reference to eso→pre-faithful in Hott.lagda.md

chore: update reference to eso→pre-faithful in Hott.lagda.md #3202

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
24m 48s
deploy
0s
24m 48s