Skip to content
.github/workflows/main.yml

ci: opam install --deps-only hol_light (#164) #982

Sign in to view logs

ci: opam install --deps-only hol_light (#164)

ci: opam install --deps-only hol_light (#164) #982

Run time

Learn about OS pricing on GitHub Actions
Job Run time
ci (5.2.1, 3.17.1, 8.03.01, 3.0.0, master, master, 2.7)
17m 19s
17m 19s