Skip to content

Rename CI workflow to 'CI' for dashboard visibility#3

Merged
nvolker merged 1 commit intomainfrom
rename-ci-workflow
Apr 2, 2026
Merged

Rename CI workflow to 'CI' for dashboard visibility#3
nvolker merged 1 commit intomainfrom
rename-ci-workflow

Commits

Commits on Apr 1, 2026