Write run ID to run_id

ori-community · Oct 1, 2021 · 27f9550 · 27f9550
1 parent 76d88c6
commit 27f9550
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -56,6 +56,10 @@ jobs:
           echo Writing version file...
           (if [[ -n "${{ github.event.inputs.release_version }}" ]]; then echo -n "${{ github.event.inputs.release_version }}"; else echo -n "develop"; fi) > VERSION
           cp -f VERSION /c/moon/randomizer/VERSION
+      - name: Write Run ID
+        shell: bash
+        run: |
+          echo -n "${{ github.run_id }}" > /c/moon/randomizer/run_id
       - name: Compiling AHK scripts
         shell: cmd
         timeout-minutes: 1