rename atomic_step -> atomic_acc

4 jobs for gen_proofmode in 29 minutes and 5 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Build
passed #13198
fp
build-coq.8.7.1

00:11:14

passed #13197
fp-timing
build-coq.8.7.2

00:10:33

passed #13196
fp-timing
build-coq.8.8.0

00:10:32

passed #13195
fp
build-coq.dev

00:29:05