Skip to content

Adapt to https://github.com/coq/coq/pull/20027 #96

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

Adapt to https://github.com/coq/coq/pull/20027 #96

Annotations

1 error and 1 warning

linux (x86_64)

failed Jan 13, 2025 in 1m 42s
Set up job
1s
Initialize containers
1m 7s
Checkout
1s
OS dependencies
0s
OPAM dependencies
29s
Configure
0s
Build
0s
Hygiene
0s
Test default configuration
0s
Test alternate configuration
0s
Test alternate configuration 2
0s
Post Checkout
0s
Stop containers
0s
Complete job
0s