Skip to content
GitLab
Explore
Sign in
Maxime Lesourd
rt-proofs
Repository
rt-proofs
.gitlab-ci.yml
Find file
Blame
History
Permalink
enable proof-length checking during CI
· 3b689961
Björn Brandenburg
authored
Jun 24, 2019
3b689961
Validating GitLab CI configuration…
Learn more