Skip to content
CI

cleaned deprecated references and calls to intuition #68

Sign in to view logs

cleaned deprecated references and calls to intuition

cleaned deprecated references and calls to intuition #68

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (coqorg/coq:dev)
4m 56s
build (coqorg/coq:8.18)
8m 11s
13m 7s