update to new CI machine

3 jobs for master in 17 minutes and 18 seconds (queued for 1 minute and 12 seconds)
Status Job ID Name Coverage
  Test
failed #2876
fp-timing
iris_atomic-coq8.5.3

00:10:46

passed #2878
fp-timing
iris_atomic-coq8.6

00:10:07

canceled #2877
fp-timing
iris_atomic-coq8.6

 
Name Stage Failure
failed
iris_atomic-coq8.5.3 Test There is an unknown failure, please try again
Makefile.coq:277: recipe for target 'theories/atomic.vo' failed
Makefile.coq:277: recipe for target 'theories/sync.vo' failed
make[1]: Leaving directory '/builds/FP/iris-atomic'
Makefile:11: recipe for target 'all' failed

real 0m0.116s
user 0m0.100s
sys 0m0.080s
ERROR: Build failed: exit code 1