Skip to content

Conversation

@andreped
Copy link
Collaborator

Changes

  • Upgrade all OS versions to be compatible with GitHub Actions

@andreped
Copy link
Collaborator Author

Fix is already in development branch.

@andreped andreped closed this Nov 12, 2025
@andreped andreped added the duplicate This issue or pull request already exists label Nov 12, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

duplicate This issue or pull request already exists

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants