Skip to content

Better template-coq printers #2908

Better template-coq printers

Better template-coq printers #2908

Annotations

10 warnings

build (8.20, 4.09-flambda, opam)

succeeded Nov 26, 2024 in 31m 18s
Set up job
1s
Build coq-community/docker-coq-action@v1
5s
Checkout code
1s
Docker-Coq-Action
31m 8s
Revert permissions
0s
Post Checkout code
0s
Complete job
0s