Skip to content
GitLab

Use `notypeclasses refine` for `pair_core_id` and friends

Merged Ralf Jung requested to merge ci/ralf/pair_core_id into master

Fixes #255 (closed)

Edited by Robbert Krebbers