Update result-cache.md

phpstan · Jun 18, 2024 · c97f215 · c97f215
1 parent a99c71e
commit c97f215
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/website/src/user-guide/result-cache.md b/website/src/user-guide/result-cache.md
@@ -63,7 +63,8 @@ Because GitHub Actions do not overwrite existing cache entries with the same key
       restore-keys: |
         phpstan-result-cache-
 
-  # run PHPStan...
+  - name: "Run PHPStan"
+    run: "vendor/bin/phpstan"
 
   - name: "Save result cache"
     uses: actions/cache/save@v3
@@ -72,3 +73,5 @@ Because GitHub Actions do not overwrite existing cache entries with the same key
       path: tmp # same as in phpstan.neon
       key: "phpstan-result-cache-{% raw %}${{ github.run_id }}"{% endraw %}
 ```
+
+Learn more: [Workflow syntax for GitHub Actions](https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions), [actions/cache](https://github.com/actions/cache)