add iris-atomic

5 jobs for master
Status Job ID Name Coverage
  Build
canceled #6614
fp-timing
build-coq.8.6.1

canceled #6613
fp-timing
build-coq.8.7.0

 
  Deploy
canceled #6615
opam

canceled #6616
reverse-deps

 
  Build More
canceled #6617
fp-timing
build-coq.8.7.dev