Skip to content

Fix CI double-run on pull requests#15

Merged
ammario merged 1 commit into
mainfrom
ci-double-run-fix
Oct 4, 2025
Merged

Fix CI double-run on pull requests#15
ammario merged 1 commit into
mainfrom
ci-double-run-fix

Fix CI double-run on pull requests

ea3e5c2
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar