Skip to content

ci: dump after merge instead of per PR; full validation on push only - #353

Merged
Seungpyo1007 merged 1 commit into
developfrom
ci/dump-on-develop
Sep 30, 2026
Merged

Seungpyo1007 merged 1 commit into
developfrom
ci/dump-on-develop

ci: dump after merge instead of per PR; full validation on push only

4cae543
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar