Skip to content

Run the REUSE check on pull requests - #131

Merged
brunopacheco1 merged 1 commit into
mainfrom
ci-reuse-on-pull-requests
Oct 15, 2026
Merged

brunopacheco1 merged 1 commit into
mainfrom
ci-reuse-on-pull-requests

Conversation

@brunopacheco1

Copy link
Copy Markdown
Collaborator

Requested by Bruno · project thread

What changes

Branch protection on main requires the reuse check, but .github/workflows/test.yml only ran on push. A pull request from a fork never triggers a push in this repository, so reuse never reported and the PR stayed blocked (for example #130).

The workflow now uses the same triggers as check.yml: every pull_request, plus push to main. Pushes to other branches of this repository no longer run it on their own, because their pull request runs it. After this merges, #130 needs its checks re-run (or a new push) to pick up reuse.

Pages touched

None. Only .github/workflows/test.yml.

Checklist

Not applicable: no documentation page changes.

Sign-off needed

  • Data protection (DPO)
  • Security
  • Legal
  • ELSI

🤖 Generated with Claude Code

https://claude.ai/code/session_01X1Ckdvmc5wAZMeWFdGYn8a


Generated by Claude Code

The reuse check is required by branch protection on main but only ran
on push, so pull requests from forks never got it and stayed blocked.
Trigger it the same way as check.yml.

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01X1Ckdvmc5wAZMeWFdGYn8a
@brunopacheco1 brunopacheco1 self-assigned this Oct 15, 2026
@github-actions

github-actions Bot commented Oct 15, 2026 •

Copy link
Copy Markdown

Preview removed: the pull request is closed. Reopen it to build the preview again.

github-actions Bot pushed a commit that referenced this pull request Oct 15, 2026
@brunopacheco1
brunopacheco1 merged commit f5a71d2 into main Oct 15, 2026
4 checks passed
@brunopacheco1
brunopacheco1 deleted the ci-reuse-on-pull-requests branch October 15, 2026 20:26
github-actions Bot pushed a commit that referenced this pull request Oct 15, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants