Small tweaks

2 jobs for !697 with big-op-impl in 9 minutes and 19 seconds (queued for 3 seconds)
detached
Status Name Job ID Coverage
  Build
passed build-coq.8.12.2 #138249
fp

00:09:19

passed build-coq.dev #138248
fp

00:08:52