Skip to content

ci: add CI gating merges to main - #1

Merged
aimsise merged 1 commit into
mainfrom
amp/ci
Jun 8, 2026
Merged

ci: add CI gating merges to main#1
aimsise merged 1 commit into
mainfrom
amp/ci

ci: add GitHub Actions CI gating merges to main

d30f95f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
ci
succeeded Jun 8, 2026 in 9s