Skip to content

CI: run pull requests once - #12

Merged
cedricvogel-leo merged 1 commit into
mainfrom
chore/ci-trigger
Oct 25, 2026
Merged

cedricvogel-leo merged 1 commit into
mainfrom
chore/ci-trigger

CI: run a pull request once, and main after the merge

360e6f0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
check
succeeded Oct 25, 2026 in 6s