Skip to content

GitLab

Update build & CI files to properly use new CI machine

1 job for ci in 14 minutes and 18 seconds (queued for 2 minutes and 41 seconds)
b82a3008
1 related merge request: !7 Update build & CI files to properly use new CI machine
Status Name Job ID Coverage
  Test
passed gps-coq8.6 #2754
fp-timing

00:14:18