Copy the requirements file locally

Author: PeterJCLaw

action.yml

@@ -3,16 +3,26 @@ description: A GitHub Action to validate a compstate.
 runs:
   using: composite
   steps:
+    - name: Copy requirements locally
+      id: copy-requirements
+      shell: bash
+      run:
+        # `cache-dependency-path` seems to need to be within the current directory. Use a temporary directory
+        #
+        tempdir=$(mktemp --directory --tmpdir=. --suffix=-srcomp-validate-action)
+        cp ${{ github.action_path }}/requirements.txt $tempdir/requirements.txt
+        echo "::set-output name=directory::${tempdir}"
+
     - name: Set up Python
       uses: actions/setup-python@v3
       with:
         python-version: '3.10'
         cache: pip
-        cache-dependency-path: ${{ github.action_path }}/requirements.txt
+        cache-dependency-path: ${{ steps.copy-requirements.outputs.directory }}/requirements.txt
 
     - name: Install Dependencies
       shell: bash
-      run: pip install -U -r ${{ github.action_path }}/requirements.txt
+      run: pip install -U -r ${{ steps.copy-requirements.outputs.directory }}/requirements.txt
 
     - name: Run Compstate Validation
       shell: bash