diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml index 261b0bf5..83aa7050 100644 --- a/.github/workflows/pr.yml +++ b/.github/workflows/pr.yml @@ -1,3 +1,5 @@ +name: Build + on: pull_request: push: @@ -5,12 +7,12 @@ on: jobs: - os-configurations: + os: strategy: fail-fast: false matrix: os: [ubuntu-latest, macos-latest, macos-13] - name: OS configurations + name: OS runs-on: ${{ matrix.os }} permissions: id-token: "write"