prove that we can open invariants around wp_atomic

6 jobs for master in 15 minutes and 35 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #44672
fp
build-coq.8.10.dev

00:13:01

passed #44676
fp
build-coq.8.7.2

00:05:54

passed #44675
fp
build-coq.8.8.2

00:06:52

passed #44674
fp-timing
build-coq.8.9.0

00:05:50

passed #44673
fp
build-coq.8.9.1

00:07:21

passed #44671
fp
build-coq.dev

00:15:34