Skip to content

Yet more GHA issues - #1733

Merged
gregorydlogan merged 2 commits into
opencast:r/19.xfrom
gregorydlogan:t/yet-more-gha
Sep 23, 2026
Merged

gregorydlogan merged 2 commits into
opencast:r/19.xfrom
gregorydlogan:t/yet-more-gha

Conversation

@gregorydlogan

Copy link
Copy Markdown
Member

This PR should fix the GHA script which was failing to correctly deploy the built PR branches due to an incorrect (and unneccessary) check. This will need to be merged forward to develop to take effect, but I'd like to keep all the scripts in sync if we can.

… whole workflow does not fire unless it's a PR. Also fixed some comment formatting.
@gregorydlogan gregorydlogan added type:bug Something isn't working github_actions Pull requests that update GitHub Actions code labels Sep 18, 2026
@github-actions

Copy link
Copy Markdown

This pull request is deployed at test.editor.opencast.org/ .
It might take a few minutes for it to become available.

@gregorydlogan

gregorydlogan commented Sep 18, 2026 •

Copy link
Copy Markdown
Member Author

As an example, look what's working ^^^

Welp, the comment posts, but the URL and contents are wrong. So yeah, this will need to get merged all the way forwards once I've corrected that.

… just the number since we need the full path for the comment made by the bot. PR number itself is now extracted from that build path
@gregorydlogan gregorydlogan self-assigned this Sep 23, 2026
@gregorydlogan
gregorydlogan merged commit 1c01289 into opencast:r/19.x Sep 23, 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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant