Skip to content
GitLab
Explore
Sign in
Iris
ci
Repository
ci
buildjob
Find file
Blame
History
Permalink
measure how long coqchk takes
· 6a53098b
Ralf Jung
authored
Nov 22, 2019
6a53098b