Skip to content
CI (Coq, Debian)

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

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) #1018

Run time

Learn about OS pricing on GitHub Actions
Job Run time
debian-sid
3h 15m 32s
test-standalone-host (sid)
11s
publish-standalone-dry-run
20s
test-standalone-container (sid)
15s
debian-check-all
1s
3h 16m 19s