update Makefile and CI config

1 job from master in 4 minutes and 7 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
failed #21850
fp
build-iris.dev

00:04:07

 
Name Stage Failure
failed
build-iris.dev Build
+- The following actions were aborted
| - recompile coq-iris-atomic-builddep ~dev
+-
+- The following actions failed
| - build coq-iris dev
+-
- No changes have been performed
'opam upgrade -y --all build-dep/ -vv' failed.
ERROR: Job failed: exit code 1