Skip to content
Snippets Groups Projects

Add a comment about `cancel_inj` and `cancel_surj`.

Passed
Robbert Krebbers created pipeline for commit c8d873f8
, finished
Related merge request !527 to merge robbert/cancel_inj_surj
latest merge request
2 jobs 5 minutes 36 seconds, queued for 2 seconds