Merge branch 'master' into master

pull/4742/head
Kim Kulling 2022-09-29 16:48:45 +02:00 committed by GitHub
commit 232d809ecc
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 6 additions and 0 deletions

View File

@ -6,6 +6,9 @@ on:
pull_request:
branches: [ master ]
permissions:
contents: read # to fetch code (actions/checkout)
jobs:
job:
name: ${{ matrix.name }}-build-and-test

View File

@ -6,6 +6,9 @@ on:
pull_request:
branches: [ master ]
permissions:
contents: read # to fetch code (actions/checkout)
jobs:
job1:
name: adress-sanitizer