Skip to content

NIT

NIT #725

Annotations

10 warnings

build (mathcomp/mathcomp:latest-coq-8.19)

succeeded Nov 29, 2024 in 32m 51s
Set up job
1s
Build coq-community/docker-coq-action@v1
6s
Run actions/checkout@v3
1s
Run coq-community/docker-coq-action@v1
32m 40s
Revert permissions
0s
Post Run actions/checkout@v3
0s
Complete job
0s