State big_sepM_impl_strong slightly differently

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

00:10:16

canceled build-coq.dev #137803
fp

00:11:19