Skip to content
Snippets Groups Projects

fix and reject warnings on Coq 8.13

Merged fix and reject warnings on Coq 8.13
ci/ralf/warnings into master
Merged Ralf Jung requested to merge ci/ralf/warnings into master
Status
Pipeline
Created by
Stages
Actions
Passed

00:10:07

avatar
Stage: build
Download artifacts

No artifacts found