Skip to content
Dependabot Automerge

Require Import ZArith before using it in ModularArithmeticTheorems.v (for coq/coq#19801) #214

Sign in to view logs

Require Import ZArith before using it in ModularArithmeticTheorems.v (for coq/coq#19801)

Require Import ZArith before using it in ModularArithmeticTheorems.v (for coq/coq#19801) #214

Run time

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