disable rewriting rules; add a failure goal

1 job for ci/reification in 7 seconds (queued for 5 seconds)
latest
Status Name Job ID Coverage
  Build
canceled build-coq.8.14.0 #151880
fp

00:00:07