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

1 warning

test (8.20, assumptions.txt, 64)

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