Skip to content

Adapt to https://github.com/coq/coq/pull/19801 #1112

Adapt to https://github.com/coq/coq/pull/19801

Adapt to https://github.com/coq/coq/pull/19801 #1112

Annotations

1 warning

test (8.19, test2, 32)

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