Skip to content

Merge pull request #132 from andres-erbsen/less-ZArith_base #75

Merge pull request #132 from andres-erbsen/less-ZArith_base

Merge pull request #132 from andres-erbsen/less-ZArith_base #75

Annotations

11 warnings

build (coqorg/coq:8.18)

succeeded Nov 3, 2024 in 3m 10s
Set up job
1s
Build coq-community/docker-coq-action@v1
4s
Run actions/checkout@v3
0s
Run coq-community/docker-coq-action@v1
3m 4s
Post Run actions/checkout@v3
0s
Complete job
0s