Update README

1 job for master in 14 minutes and 6 seconds (queued for 10 minutes and 1 second)
Status Job ID Name Coverage
  Test
passed #1757
iris_atomic-coq8.5.3

00:14:06