Skip to content

Switch to slim runners#144

Merged
paddyroddy merged 1 commit intomainfrom
slim
Feb 5, 2026
Merged

Switch to slim runners#144
paddyroddy merged 1 commit intomainfrom
slim

Conversation

@paddyroddy
Copy link
Owner

No description provided.

@paddyroddy paddyroddy merged commit 69bf4e5 into main Feb 5, 2026
4 checks passed
@paddyroddy paddyroddy deleted the slim branch February 5, 2026 17:49
@github-project-automation github-project-automation bot moved this from TODO to Done in @paddyroddy Feb 5, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

1 participant