Skip to content

use unified CI workflow#2

Merged
timblechmann merged 2 commits into
mainfrom
feature/ci
May 12, 2026
Merged

use unified CI workflow#2
timblechmann merged 2 commits into
mainfrom
feature/ci

Conversation

@timblechmann
Copy link
Copy Markdown
Owner

No description provided.

@timblechmann timblechmann force-pushed the feature/ci branch 5 times, most recently from f2c2061 to 56c2a3c Compare April 26, 2026 03:25
@timblechmann timblechmann force-pushed the feature/ci branch 3 times, most recently from 00e14b1 to 0895fde Compare May 12, 2026 13:36
@timblechmann timblechmann merged commit 87ea352 into main May 12, 2026
21 checks passed
@timblechmann timblechmann deleted the feature/ci branch May 12, 2026 14: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