Skip to content

enable using coq_makefile for opam packages #67

enable using coq_makefile for opam packages

enable using coq_makefile for opam packages #67

Annotations

11 warnings

build (mathcomp/mathcomp-dev:coq-dev)

succeeded Dec 24, 2024 in 8m 43s
Set up job
0s
Build coq-community/docker-coq-action@v1
5s
Run actions/checkout@v4
1s
Run coq-community/docker-coq-action@v1
8m 34s
Post Run actions/checkout@v4
0s
Complete job
0s