Skip to content
CI (Coq, docker, dev)

Adapt to coq/coq#19690 (Hint Extern follows proof mode) (#2058) #961

Sign in to view logs

Adapt to coq/coq#19690 (Hint Extern follows proof mode) (#2058)

Adapt to coq/coq#19690 (Hint Extern follows proof mode) (#2058) #961

Run time

Learn about OS pricing on GitHub Actions
Job Run time
docker-master
1h 30m 54s
test-standalone (master, dev, default)
1m 22s
publish-standalone-dry-run
20s
validate-docker-master
22m 23s
standalone-haskell (master)
47m 53s
build-wasm-of-ocaml (master, 4.14.1)
19m 28s
test-amd64
2h 18m 35s
generated-files (master)
46s
build-js-of-ocaml (master, 4.11.1)
5m 38s
deploy-js-wasm-of-ocaml
43s
docker-check-all
7s
5h 28m 9s