State big_sepM_impl_strong slightly differently

2 jobs for !697 with big-op-impl in 17 minutes and 31 seconds (queued for 8 seconds)
detached
Status Name Job ID Coverage
  Build
passed build-coq.8.12.2 #137806
fp

00:10:26

passed build-coq.dev #137805
fp

00:17:31