Corentin Le Molgat 4ccf5d1055 ci: Add USE_SCIP=OFF jobs

2022-06-07 17:34:48 +02:00

..

ISSUE_TEMPLATE

.github: rename master to main

2022-05-16 11:26:08 +02:00

workflows

ci: Add USE_SCIP=OFF jobs

2022-06-07 17:34:48 +02:00

pull_request_template.md

.github: rename master to main

2022-05-16 11:26:08 +02:00