Skip to content

synchronize ci pipeline - #11

Merged
gregor-j merged 7 commits into
mainfrom
10-synchronize-ci-pipeline
Sep 1, 2026
Merged

synchronize ci pipeline#11
gregor-j merged 7 commits into
mainfrom
10-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 a679007 into main Sep 1, 2026
13 checks passed
@gregor-j
gregor-j deleted the 10-synchronize-ci-pipeline branch September 1, 2026 10:08
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