Closed mkoeppe closed 1 year ago
Sorry, I have not seen this until now. Do I understand this correctly: After merging, the Sage CI will automatically run on this repository?
Do I understand this correctly: After merging, the Sage CI will automatically run on this repository?
Yes. It's configurable on what events it runs - see on:
Cool. I will try this soon with new commits ...
There are errors that I do not understand. @mkoeppe Can you have a look at the actions?
Preview at https://github.com/mkoeppe/SCIP-SDP/actions/runs/3660649526