Show "Run workflow" button

Author: Michael Vasseur

.github/workflows/build-contributor-container-release.yml

@@ -8,6 +8,7 @@ on:
   push:
     branches:
       - main
+  workflow_dispatch:
 
 jobs:
   release-contributor:

.github/workflows/build-domjudge-container-release.yml

@@ -4,6 +4,16 @@ on:
   push:
     branches:
       - main
+  workflow_dispatch:
+    inputs:
+      DOMJUDGE_VERSION:
+        description: 'Version of DOMjudge to build'
+        required: true
+        default: 'M.m.p'
+      DOMJUDGE_LATEST:
+        description: 'Overwrite the latest tag'
+        required: true
+        default: 'true'
 
 env:
   DOMJUDGE_VERSION: M.m.p
@@ -29,6 +39,12 @@ jobs:
           username: ${{ secrets.DOCKERHUB_USERNAME }}
           password: ${{ secrets.DOCKERHUB_TOKEN }}
 
+      - name: If manually dispatched use input variables
+        if: ${{ github.event_name == 'workflow_dispatch' }}
+        run: |
+          echo "DOMJUDGE_VERSION=${{ inputs.DOMJUDGE_VERSION }}" >> $GITHUB_ENV
+          echo "DOMJUDGE_LATEST=${{ inputs.DOMJUDGE_LATEST }}" >> $GITHUB_ENV
+
       - name: If needed overwrite the DOMJUDGE_VERSION for this run
         run: |
           if [ ${{ env.DOMJUDGE_VERSION }} != "M.m.p" ]; then

.github/workflows/build-gitlab-container-release.yml

@@ -6,6 +6,7 @@ on:
   push:
     branches:
       - main
+  workflow_dispatch:
 
 jobs:
   build-gitlab: