Skip to content
Build TypeTheory

GitHub action v3 -> v4, Dune language 3.5 -> 3.8, Coq language 0.6 -> 0.8 #188

Sign in to view logs

GitHub action v3 -> v4, Dune language 3.5 -> 3.8, Coq language 0.6 -> 0.8

GitHub action v3 -> v4, Dune language 3.5 -> 3.8, Coq language 0.6 -> 0.8 #188

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build with dev
1m 25s
Build with latest
1m 18s
Build with 8.16
1m 11s
3m 54s