Skip to content

Fix CI workflow#72

Merged
jvoigtlaender merged 10 commits intofmidue:fmiduefrom
patritzenfeld:ci
Apr 20, 2026
Merged

Fix CI workflow#72
jvoigtlaender merged 10 commits intofmidue:fmiduefrom
patritzenfeld:ci

Commits

Commits on Apr 20, 2026