Skip to content
CI (Coq, docker, dev)

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

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

Triggered via pull request November 3, 2024 16:39
@andres-erbsenandres-erbsen
opened #1979
andres-erbsen:less-ZArith_base-legacy
Status Success
Total duration 34m 52s
Artifacts –

docker-coq.yml

on: pull_request
Matrix: docker-build
Fit to window
Zoom out
Zoom in