Patch Actions PR. (#1649)

* No longer use variables for locating the action.

* Modified path.

* Turned off action check until image is released to public.

This will fail with permissions issue until then.

.github/workflows/release.yml

@@ -144,8 +144,9 @@ jobs:
             org.opencontainers.image.version=${{ needs.Release.outputs.version }}
             org.opencontainers.image.licenses=Apache-2.0 OR MIT
 
-      - name: Check action and image is updated.
-        uses: ${{ env.OWNER_LC }}/kani@${{ needs.Release.outputs.version }}
-        with:
-          command: |
-            [[ "$(cargo kani --version)" == 'cargo-kani ${{ needs.Release.outputs.version }}' ]]
+      # This check will not work until #1655 is completed.
+      # - name: Check action and image is updated.
+      #   uses: ./.
+      #   with:
+      #     command: |
+      #       [[ "$(cargo kani --version)" == 'cargo-kani ${{ needs.Release.outputs.version }}' ]]

action.yml

@@ -21,4 +21,4 @@ runs:
   args:
     - bash
     - '-c'
-    - 'set -e; export HOME=/root USER=$(id -nu); source $HOME/.bashrc; ${{ inputs.command }}'
+    - 'set -e; export HOME=/root USER=$(id -nu) PATH=/root/.cargo/bin:$PATH; source $HOME/.bashrc; ${{ inputs.command }}'