chore: script

This commit is contained in:
Eric
2026-03-04 20:26:58 +01:00
committed by eric
parent 2f6fa20522
commit 5e8ec20b2e
3 changed files with 217 additions and 0 deletions

View File

@@ -5,6 +5,10 @@ on:
branches: ["main"]
pull_request:
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
jobs:
test:
permissions:
@@ -25,6 +29,12 @@ jobs:
steps:
- uses: actions/checkout@v4
- uses: bazel-contrib/setup-bazel@0.15.0
with:
bazelisk-cache: true
repository-cache: true
external-cache: true
disk-cache: ci-${{ matrix.phase8_target }}
cache-save: ${{ github.event_name != 'pull_request' }}
- name: Run tests (${{ matrix.phase8_target }})
run: |
echo "Phase 8 target: ${{ matrix.phase8_target }}"