changelog

2 jobs for !315 with ralf/lookup-union-difference in 5 minutes and 38 seconds (queued for 7 seconds)
latest detached
Status Name Job ID Coverage
  Build
passed build-coq.8.10.2 #138114
fp

00:05:37

passed build-coq.8.13.2-mr #138113
fp

00:05:15