Skip to content

Conversation

mkoeppe
Copy link
Contributor

@mkoeppe mkoeppe commented Dec 9, 2022

@pfetsch
Copy link
Contributor

pfetsch commented Mar 10, 2023

Sorry, I have not seen this until now.
Do I understand this correctly: After merging, the Sage CI will automatically run on this repository?

@mkoeppe
Copy link
Contributor Author

mkoeppe commented Mar 10, 2023

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:

@pfetsch
Copy link
Contributor

pfetsch commented Mar 10, 2023

Cool. I will try this soon with new commits ...

@pfetsch pfetsch merged commit cb2a073 into scipopt:main Jun 3, 2023
@pfetsch
Copy link
Contributor

pfetsch commented Jun 3, 2023

There are errors that I do not understand. @mkoeppe Can you have a look at the actions?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants