zotero/.github/workflows
Dan Stillman 62a431f42b CI: Don't run duplicate jobs for same-repo pull requests
Pushes to branches in this repo already run CI, so run pull_request jobs only
for PRs from forks, which don't trigger push runs here. The push run's checks
still appear on the PR, since checks are attached to the head commit. (This
skips merge-commit testing for same-repo PRs -- the push run tests the branch
as-is.)
2026-07-08 10:50:32 -04:00
..
ci.yml CI: Don't run duplicate jobs for same-repo pull requests 2026-07-08 10:50:32 -04:00