Fixing issue with Magma groups that are not Ids in Gap #3783
jenpaulhus
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
python-package.yml
on: pull_request
Initial setup
4s
Matrix: test