Skip to content

synchronize ci pipeline - #37

Merged
gregor-j merged 8 commits into
mainfrom
36-synchronize-ci-pipeline
Sep 1, 2026
Merged

synchronize ci pipeline#37
gregor-j merged 8 commits into
mainfrom
36-synchronize-ci-pipeline

Conversation

@gregor-j

Copy link
Copy Markdown
Contributor

No description provided.

@gregor-j gregor-j self-assigned this Aug 31, 2026
@gregor-j gregor-j linked an issue Aug 31, 2026 that may be closed by this pull request
@gregor-j
gregor-j merged commit 3e37acd into main Sep 1, 2026
10 checks passed
@gregor-j
gregor-j deleted the 36-synchronize-ci-pipeline branch September 1, 2026 11:04
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.

Synchronize CI pipeline

1 participant