Skip to content

GitHub actions cleanup#35

Merged
jcmosc merged 5 commits into
mainfrom
github-actions-cleanup
May 11, 2026
Merged

GitHub actions cleanup#35
jcmosc merged 5 commits into
mainfrom
github-actions-cleanup

Conversation

@jcmosc
Copy link
Copy Markdown
Owner

@jcmosc jcmosc commented May 11, 2026

No description provided.

@jcmosc jcmosc force-pushed the github-actions-cleanup branch from 626f74c to 7a753d7 Compare May 11, 2026 12:42
@jcmosc jcmosc merged commit 2eb77c4 into main May 11, 2026
4 checks passed
@jcmosc jcmosc deleted the github-actions-cleanup branch May 11, 2026 12:46
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.

1 participant