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, test5, 64)

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