Skip to content

Feature/GitHub actions#1143

Merged
Jammy2211 merged 5 commits intomainfrom
feature/github_actions
May 30, 2025
Merged

Feature/GitHub actions#1143
Jammy2211 merged 5 commits intomainfrom
feature/github_actions

Conversation

@Jammy2211
Copy link
Copy Markdown
Collaborator

Update GitHub actions and other build tools for newer Python.

@Jammy2211 Jammy2211 requested a review from rhayes777 May 30, 2025 09:44
@Jammy2211 Jammy2211 merged commit 5c82d10 into main May 30, 2025
4 checks passed
@Jammy2211 Jammy2211 deleted the feature/github_actions branch May 30, 2025 09:45
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