Skip to content

Improve GitHub workflow#8

Merged
RobSlgm merged 2 commits into
mainfrom
feature/improve-github-workflow
May 4, 2026
Merged

Improve GitHub workflow#8
RobSlgm merged 2 commits into
mainfrom
feature/improve-github-workflow

Conversation

@RobSlgm
Copy link
Copy Markdown
Contributor

@RobSlgm RobSlgm commented May 4, 2026

No description provided.

@RobSlgm RobSlgm added the chore Chore label May 4, 2026
@RobSlgm RobSlgm merged commit 564f011 into main May 4, 2026
1 check passed
@RobSlgm RobSlgm deleted the feature/improve-github-workflow branch May 4, 2026 08:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Chore

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant