Skip to content
Dependabot Automerge

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
dependabot-automerge
1s
1s