update workflow (#175)

This commit is contained in:
Denis Angell
2023-11-01 17:04:13 +01:00
committed by GitHub
parent 7dee512991
commit 04ceb5af9a
3 changed files with 6 additions and 2 deletions

View File

@@ -6,6 +6,10 @@ on:
pull_request: pull_request:
branches: [ "dev", "candidate", "release" ] branches: [ "dev", "candidate", "release" ]
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
jobs: jobs:
builder: builder:
strategy: strategy:

View File

@@ -8,7 +8,7 @@ jobs:
env: env:
CLANG_VERSION: 10 CLANG_VERSION: 10
steps: steps:
- uses: actions/checkout@v2 - uses: actions/checkout@v3
- name: Install clang-format - name: Install clang-format
run: | run: |
codename=$( lsb_release --codename --short ) codename=$( lsb_release --codename --short )

View File

@@ -8,7 +8,7 @@ jobs:
env: env:
CLANG_VERSION: 10 CLANG_VERSION: 10
steps: steps:
- uses: actions/checkout@v2 - uses: actions/checkout@v3
- name: Check levelization - name: Check levelization
run: Builds/levelization/levelization.sh run: Builds/levelization/levelization.sh
- name: Check for differences - name: Check for differences