Skip to content

Use older Github Action runners for wider compatibility#15

Merged
FreyJo merged 2 commits intoacados:masterfrom
xoiga123:old-runners
Jun 25, 2025
Merged

Use older Github Action runners for wider compatibility#15
FreyJo merged 2 commits intoacados:masterfrom
xoiga123:old-runners

Conversation

@xoiga123
Copy link
Copy Markdown
Contributor

Realized this while testing on my ubuntu 20.04 machine (they removed 20.04 runners anyway 😢)

Copy link
Copy Markdown
Member

@FreyJo FreyJo left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me.
I would first merge #14, then this one, then create the release.
Fine with you?

@xoiga123
Copy link
Copy Markdown
Contributor Author

@FreyJo Absolutely, thank you!

@FreyJo FreyJo merged commit 5313666 into acados:master Jun 25, 2025
6 checks passed
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.

3 participants