Skip to content

tweaks

tweaks #2894

Annotations

10 warnings

build (dev, 4.14-flambda, opam)

failed Nov 16, 2024 in 25m 47s
Set up job
1s
Build coq-community/docker-coq-action@v1
5s
Checkout code
1s
Docker-Coq-Action
25m 33s
Revert permissions
0s
Post Checkout code
0s
Complete job
0s