Skip to content

Pass CI for pull requests whose changes are already on main - #138

Merged
woksin merged 1 commit into
mainfrom
fix/109-no-changed-files
Sep 29, 2026
Merged

Pass CI for pull requests whose changes are already on main#138
woksin merged 1 commit into
mainfrom
fix/109-no-changed-files

Treat a pull request with no changed files as nothing to check

4e73e9e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar