Skip to content

Deactivate rolling-main CI job#31

Merged
christophfroehlich merged 1 commit into
mainfrom
deactivate-rolling-main
Jul 14, 2026
Merged

Deactivate rolling-main CI job#31
christophfroehlich merged 1 commit into
mainfrom
deactivate-rolling-main

Commits

Commits on Jul 14, 2026