Skip to content

Update CI to work again#6

Merged
MariusVolkhart merged 4 commits into
masterfrom
mv/ci
Jun 22, 2026
Merged

Update CI to work again#6
MariusVolkhart merged 4 commits into
masterfrom
mv/ci

Commits

Commits on Jun 22, 2026