Skip to content
GitLab
Explore
Sign in
Iris
ci
Repository
ci
buildjob
Find file
Blame
History
Permalink
add an option to fail the build in case of Coq warnings
· bd549a16
Ralf Jung
authored
Sep 03, 2020
bd549a16