Skip to content
Snippets Groups Projects

Coq support policy: we support 2 Coq versions

Merged Coq support policy: we support 2 Coq versions
ralf/coqsupport into master
Merged Ralf Jung requested to merge ralf/coqsupport into master
Status
Pipeline
Created by
Stages
Passed

00:04:55

avatar
Stage: build
Download artifacts

No artifacts found