big_sepM_impl_strong returns leftover resources

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

00:07:48

passed build-coq.dev #131313
fp

00:07:53