From 051f93b0b2743ab2003688bab8178e503f41fc0a Mon Sep 17 00:00:00 2001 From: Stefan Junker Date: Fri, 14 Jun 2024 10:36:35 +0200 Subject: [PATCH] chore: name PR workflow --- .github/workflows/pr.yml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) 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"