Skip to content

GitLab

avoid newline in quoted text

2 jobs for master in 14 minutes and 15 seconds (queued for 9 minutes and 36 seconds)
6b837bc4
No related merge requests found.
Status Job ID Name Coverage
  Test
passed #3694
fp-timing
build-coq8.6.1

00:10:57

passed #3693
fp-timing
build-coq8.7

00:09:03