Skip to content

Use `notypeclasses refine` for `pair_core_id` and friends

Ralf Jung requested to merge ci/ralf/pair_core_id into master
Edited by Robbert Krebbers

Merge request reports