More provenances

2 jobs for ci/more_prov in 7 minutes and 57 seconds (queued for 3 seconds)
latest
Status Name Job ID Coverage
  Build
canceled build-coq.8.12.0 #131568
fp

00:07:57

passed check-generated #131569
fp

00:05:33