CHANGELOG.

2 jobs for !310 with robbert/map_filter_True_False in 5 minutes and 1 second (queued for 4 seconds)
latest detached
Status Name Job ID Coverage
  Build
passed build-coq.8.10.2 #137908
fp

00:05:01

passed build-coq.8.13.2-mr #137907
fp

00:04:36