Skip to content

Update makefile and CI for Coq 8.20 (#803) #1114

Update makefile and CI for Coq 8.20 (#803)

Update makefile and CI for Coq 8.20 (#803) #1114

Annotations

11 warnings

test (dev, test, 64)

succeeded Jan 7, 2025 in 5m 48s
Set up job
1s
Build coq-community/docker-coq-action@v1
4s
Download archive
1s
Extract archive
2s
Run coq-community/docker-coq-action@v1
5m 37s
Complete job
0s