Skip to content

update actions#87

Merged
wistefan merged 2 commits intomainfrom
fix-ga
Apr 2, 2026
Merged

update actions#87
wistefan merged 2 commits intomainfrom
fix-ga

Conversation

@wistefan
Copy link
Copy Markdown
Collaborator

@wistefan wistefan commented Apr 2, 2026

No description provided.

@wistefan wistefan added the patch Should be applied for dependency updates and small bugfixes. label Apr 2, 2026
@wistefan wistefan merged commit 89b33ef into main Apr 2, 2026
11 checks passed
@wistefan wistefan deleted the fix-ga branch April 2, 2026 06:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

patch Should be applied for dependency updates and small bugfixes.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant