Skip to content

Add CI to github pushes#13

Merged
TheEdgeOfRage merged 1 commit intomainfrom
ci
Jul 22, 2025
Merged

Add CI to github pushes#13
TheEdgeOfRage merged 1 commit intomainfrom
ci

Conversation

@TheEdgeOfRage
Copy link
Copy Markdown
Owner

No description provided.

@TheEdgeOfRage TheEdgeOfRage force-pushed the ci branch 2 times, most recently from 4a56493 to 600d7a9 Compare July 22, 2025 14:36
@TheEdgeOfRage TheEdgeOfRage merged commit a3e0a5d into main Jul 22, 2025
1 check passed
@TheEdgeOfRage TheEdgeOfRage deleted the ci branch July 24, 2025 08:59
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