scriptoriumadmin/zotero
1
0
Fork 0
mirror of https://github.com/zotero/zotero.git synced 2026-08-28 05:25:31 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 2
zotero/.github
History
Exact
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
..
workflows CI: Don't run duplicate jobs for same-repo pull requests 2026-07-08 10:50:32 -04:00