Skip to content

CI script#16

Merged
tzaeschke merged 3 commits into
masterfrom
fix/16-build
Sep 8, 2025
Merged

CI script#16
tzaeschke merged 3 commits into
masterfrom
fix/16-build

Conversation

@tzaeschke

Copy link
Copy Markdown
Collaborator

No description provided.

Tilmann Zäschke added 2 commits September 8, 2025 17:54
@tzaeschke tzaeschke self-assigned this Sep 8, 2025
@tzaeschke
tzaeschke merged commit efdd9da into master Sep 8, 2025
6 checks passed
@tzaeschke
tzaeschke deleted the fix/16-build branch September 8, 2025 15:57
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