CHANGELOG.

2 jobs for !278 with robbert/relations_alt in 6 minutes and 37 seconds (queued for 3 seconds)
latest detached
Status Job ID Name Coverage
  Build
passed #131558
fp
build-coq.8.10.2

00:06:37

passed #131557
fp
build-coq.8.13.2-mr

00:06:07