Skip to content
CI (Coq, Arch Linux)

Require Import BinNat before using it in ParseArithmetic.v #436

Sign in to view logs

Require Import BinNat before using it in ParseArithmetic.v

Require Import BinNat before using it in ParseArithmetic.v #436

Run time

Learn about OS pricing on GitHub Actions
Job Run time
archlinux
3h 3m 35s
publish-standalone-dry-run
20s
test-standalone
22s
archlinux-check-all
1s
3h 4m 18s