Skip to content

GitLab

changelog

2 jobs for !287 with ralf/insert_delete in 4 minutes and 47 seconds (queued for 5 seconds)
latest detached
cffd6689
1 related merge request: !287 rename insert_delete → insert_delete_insert; add new insert_delete matching delete_insert
Status Name Job ID Coverage
  Build
passed build-coq.8.10.2 #132587
fp

00:04:46

passed build-coq.8.13.2-mr #132586
fp

00:04:24