Merge branch 'r/19.x' into r/20.x #74
deploy-main-branches.yml
on: push
Detect branch and appropriate server
17s
Deploy admin-interface.opencast.org
1m 12s
Create upstream admin PR to incorporate build
27s