Cache pip packages

runtimeverification · Jan 24, 2024 · 831a88a · 831a88a
1 parent 931e81a
commit 831a88a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/action.yaml b/action.yaml
@@ -28,11 +28,11 @@ runs:
       uses: actions/[email protected]
       with:
         python-version: '3.10'
+        cache: 'pip'
 
     - name: Install dependencies
       shell: bash {0}
-      run: |
-        pip install logging os subprocess sys github typing
+      run: pip install logging os subprocess sys github typing
 
     - name: 'Check out repo: ${{ inputs.org }}/${{ inputs.repo }}'
       uses: actions/[email protected]