Skip to content

Run the core build on pull requests - #17

Merged
zeyuyang42 merged 1 commit into
mainfrom
ci-add-pr-triggers
Aug 19, 2026
Merged

Run the core build on pull requests#17
zeyuyang42 merged 1 commit into
mainfrom
ci-add-pr-triggers

Run the core build on pull requests

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

Annotations

1 warning
linux
succeeded Aug 19, 2026 in 46s