Skip to content

Additional GHA bugs#1712

Merged
gregorydlogan merged 4 commits into
opencast:r/19.xfrom
gregorydlogan:t/moar-gha-bugs
Jul 13, 2026
Merged

Additional GHA bugs#1712
gregorydlogan merged 4 commits into
opencast:r/19.xfrom
gregorydlogan:t/moar-gha-bugs

Conversation

@gregorydlogan

Copy link
Copy Markdown
Member

This PR resolves a number of issues related to #1709

Notably, this PR:

  • Adding token, and making built artifacts unique per run
  • Setting the PR number so that the comment making step can find it.
  • In some cases, like my test infra, the owner here needs to be templated.

@gregorydlogan gregorydlogan added type:bug Something isn't working type:infrastructure Build process, deployment, workflows github_actions Pull requests that update GitHub Actions code labels Jul 7, 2026
This would, in theory, prevent spam attacks from filling up the test
repository, but in practice does nothing.  GH by default requires manual
enabling of builds from not-previously-contributing accounts, and if you
*have* developer/committer access and your account gets compromised
then... well there's not much we can do.
@gregorydlogan

Copy link
Copy Markdown
Member Author

Note that this check was failing, and was removed by daef5d9, which is doubly funny since a malicious contributor would probably remove that step as part of an attack anyway

@gregorydlogan gregorydlogan self-assigned this Jul 13, 2026
@gregorydlogan gregorydlogan merged commit d2b56f6 into opencast:r/19.x Jul 13, 2026
7 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

github_actions Pull requests that update GitHub Actions code type:bug Something isn't working type:infrastructure Build process, deployment, workflows

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant