Skip to content

Commit

Permalink
Merge pull request #811 from ergebnis/fix/cache
Browse files Browse the repository at this point in the history
Fix: Do not cache cache directory for `vimeo/psalm`
  • Loading branch information
localheinz committed Nov 22, 2021
2 parents 108c126 + b9a4b1e commit 6fff6f2
Showing 1 changed file with 0 additions and 7 deletions.
7 changes: 0 additions & 7 deletions .github/workflows/integrate.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -165,13 +165,6 @@ jobs:
- name: "Create cache directory for vimeo/psalm"
run: "mkdir -p .build/psalm"

- name: "Cache cache directory for vimeo/psalm"
uses: "actions/cache@v2.1.6"
with:
path: ".build/psalm"
key: "php-${{ matrix.php-version }}-psalm-${{ github.sha }}"
restore-keys: "php-${{ matrix.php-version }}-psalm-"

- name: "Run vimeo/psalm"
run: "vendor/bin/psalm --config=psalm.xml --diff --shepherd --show-info=false --stats --threads=4"

Expand Down

0 comments on commit 6fff6f2

Please sign in to comment.