Mode for Equiv

Include workaround for Coq bug #14441.
2 jobs for !701 with modes-broken in 46 seconds (queued for 2 seconds)
detached
Status Name Job ID Coverage
  Build
canceled build-coq.8.12.2 #131979
fp

00:00:45

canceled build-coq.dev #131978
fp

00:00:46