debug

2 jobs for ci/triggers in 8 minutes and 33 seconds
latest
Status Job ID Name Coverage
  Test
canceled #4022
fp-timing
build-coq8.6.1

00:08:31

passed #4021
fp-timing
build-coq8.7

00:01:46