]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
action: Fix up $PATH as a workaround
authorDaan De Meyer <daan.j.demeyer@gmail.com>
Fri, 17 Jan 2025 13:10:50 +0000 (14:10 +0100)
committerDaan De Meyer <daan.j.demeyer@gmail.com>
Fri, 17 Jan 2025 13:35:05 +0000 (14:35 +0100)
Can be removed once https://github.com/actions/runner-images/issues/11414
is addressed.

action.yaml

index 95c5a1ee26513915bce6d6bdd408b2293c0d16d0..edd9f0369e1ff86852bf0c64c26442aac50880ab 100644 (file)
@@ -82,6 +82,11 @@ runs:
         mkdir -p $HOME/.local/bin
         ln -svf ${{ github.action_path }}/bin/mkosi $HOME/.local/bin/mkosi
 
+    # TODO: Remove when https://github.com/actions/runner-images/issues/11414 is fixed.
+    - name: Fix $PATH
+      shell: bash
+      run: echo "PATH=$HOME/.local/bin:$PATH" >>"$GITHUB_ENV"
+
     - name: Dependencies
       shell: bash
       run: |