Skip to content

release: promote develop to main#5

Merged
Jaro-c merged 1 commit into
mainfrom
develop
Jun 5, 2026
Merged

release: promote develop to main#5
Jaro-c merged 1 commit into
mainfrom
develop

ci: add guard requiring develop as source for main PRs

6a786c6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
develop-only
succeeded Jun 5, 2026 in 2s