Fix CI config

2 jobs for master in 32 minutes and 14 seconds
Status Job ID Name Coverage
  Test
passed #2207
coq
iris-coq8.6

00:15:11

passed #2206
coq
iris_atomic-coq8.5.3

00:17:02