Fix various GHA workflow bugs#1645

Merged

gregorydlogan merged 17 commits into

opencast:r/17.xfrom

gregorydlogan:t/rework-workflows

Nov 20, 2025

Commits on Oct 10, 2025

Updating release instructions
gregorydlogan
committed

Commits on Oct 17, 2025

Renaming workflow files to match admin
gregorydlogan
committed
Fixing formatting
gregorydlogan
committed
Renaming and grouping the workflows
gregorydlogan
committed
Removing this, the admin copy of this works fine without this step
gregorydlogan
committed
Harmonizing step names
gregorydlogan
committed
Crowdin upload should now work based on the branch
gregorydlogan
committed
Update crowdin version
gregorydlogan
committed
The script in question here spits out something like stable.opencast.org, which means we need to add the https prefix
gregorydlogan
committed
Running this deploy regardless of whether the user is a team member. This has drawbacks, hence we leave the defunct code around in case it's an issue.
gregorydlogan
committed
Only make one comment, this tag lets the workflow action find the correct ommend to amend it
gregorydlogan
committed
Adding a remove workflow, to remove finished PRs. Clone of the admin ui side.
gregorydlogan
committed

Commits on Oct 28, 2025

Commits on Nov 20, 2025