build: fix ci #1

Merged
rik merged 2 commits from rh/fix-ci into main 2026-04-04 10:10:07 +02:00
Owner
No description provided.
fix ci
All checks were successful
ci / run (pull_request) Successful in 5m19s
2de3e2d9d9
minor changes
All checks were successful
ci / run (pull_request) Successful in 37s
f4a3a4a403
rik changed title from fix ci to feat: fix ci 2026-04-04 10:09:55 +02:00
rik changed title from feat: fix ci to build: fix ci 2026-04-04 10:09:59 +02:00
rik merged commit 8afd7e69a0 into main 2026-04-04 10:10:07 +02:00
rik deleted branch rh/fix-ci 2026-04-04 10:10:08 +02:00
rik referenced this pull request from a commit 2026-04-04 10:10:09 +02:00
Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
rik/print!1
No description provided.