diff options
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/Test.yml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/.github/workflows/Test.yml b/.github/workflows/Test.yml index 5fdf20dca..ed325f508 100644 --- a/.github/workflows/Test.yml +++ b/.github/workflows/Test.yml @@ -161,6 +161,14 @@ jobs: - name: '🧰 Checkout' uses: actions/checkout@v2 + - name: '💾 Cache gnat' + id: cache-gnat + uses: actions/cache@v2 + with: + path: gnat + key: ${{ runner.os }}-gnat + + # Although we cache this, we let the script run to check if the cache is valid (without conditions) - name: '⚙️ Dependencies (brew)' run: ./scripts/macosx/install-ada.sh |