Skip to content

Split GitHub CI actions#3

Merged
leostimpfle merged 3 commits into
mainfrom
development
Apr 20, 2026
Merged

Split GitHub CI actions#3
leostimpfle merged 3 commits into
mainfrom
development

Merge branch 'main' into development

80b48bd
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

3 warnings
lint
succeeded Apr 20, 2026 in 12s