Skip to content

Additional GHA bugs#1637

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

Additional GHA bugs#1637
gregorydlogan merged 11 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 #1619 and #1621.

In short:

  • Github token needed to be passed in a few places to actually grant the permissions to the relevant steps.
  • The commenting on PRs steps not longer knew which PRs had triggered them due to the workflow changes.
  • A workflow was running on pushes that should only run on PRs.
  • Various logging and commit message fixes.

@gregorydlogan gregorydlogan added type:bug Something isn't working type:github_actions Pull requests that update GitHub Actions code labels Jul 7, 2026
@gregorydlogan gregorydlogan self-assigned this Jul 8, 2026
@gregorydlogan gregorydlogan merged commit 3184cd7 into opencast:r/19.x Jul 8, 2026
10 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type:bug Something isn't working type:github_actions Pull requests that update GitHub Actions code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant