Skip to content
CI (Coq, docker, dev)

Require Import BinNat before using it in ParseArithmetic.v (for coq/coq#19801) #750

Sign in to view logs

Require Import BinNat before using it in ParseArithmetic.v (for coq/coq#19801)

Require Import BinNat before using it in ParseArithmetic.v (for coq/coq#19801) #750

Run time

Learn about OS pricing on GitHub Actions
Job Run time
docker-master
1h 30m 47s
publish-standalone-dry-run
16s
test-standalone (master, dev, default)
1m 29s
build-js-of-ocaml (master, 4.11.1)
12m 38s
standalone-haskell (master)
45m 35s
build-wasm-of-ocaml (master, 4.14.1)
17m 37s
generated-files (master)
23m 41s
test-amd64
2h 16m 5s
validate-docker-master
2m 26s
deploy-js-wasm-of-ocaml
30s
docker-check-all
13s
5h 31m 17s