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

Triggered via pull request November 3, 2024 16:41
@andres-erbsenandres-erbsen
opened #1980
andres-erbsen:less-ZArith_base
Status Success
Total duration 10s
Artifacts –

dependabot-automerge.yml

on: pull_request
dependabot-automerge
0s
dependabot-automerge
Fit to window
Zoom out
Zoom in