Skip to content

ci: setup ci - #5

Merged
ruudandriessen merged 2 commits into
mainfrom
ci/setup-ci
Sep 14, 2025
Merged

ci: setup ci#5
ruudandriessen merged 2 commits into
mainfrom
ci/setup-ci

Conversation

@ruudandriessen

Copy link
Copy Markdown
Owner

No description provided.

@ruudandriessen ruudandriessen changed the title Ci/setup ci ci: setup ci Sep 14, 2025
@ruudandriessen
ruudandriessen force-pushed the ci/setup-ci branch 3 times, most recently from 2481198 to f433ace Compare September 14, 2025 10:34
@ruudandriessen
ruudandriessen merged commit 9041acf into main Sep 14, 2025
2 checks passed
@ruudandriessen
ruudandriessen deleted the ci/setup-ci branch September 14, 2025 11:37
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