changelog

2 jobs for !305 with ralf/submseteq in 5 minutes and 23 seconds (queued for 33 seconds)
latest detached
Status Name Job ID Coverage
  Build
passed build-coq.8.10.2 #137519
fp

00:05:17

passed build-coq.8.13.2-mr #137518
fp

00:04:35