Skip to content

Remove bugged option MetaCoq Template Monad Debug. #2918

Remove bugged option MetaCoq Template Monad Debug.

Remove bugged option MetaCoq Template Monad Debug. #2918

Annotations

11 warnings

build (8.20, 4.09-flambda, opam)

succeeded Dec 4, 2024 in 30m 2s
Set up job
1s
Build coq-community/docker-coq-action@v1
5s
Checkout code
1s
Docker-Coq-Action
29m 49s
Revert permissions
0s
Post Checkout code
0s
Complete job
0s