Skip to content

GitLab

CHANGELOG.

2 jobs for !310 with robbert/map_filter_True_False in 5 minutes and 1 second (queued for 4 seconds)
latest detached
b40765e8
1 related merge request: !310 Generalize `map_filter_insert` so that it covers both the True and False case.
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