Merge branch 'master' into patch-2

This commit is contained in:
Ulf Gebhardt 2023-09-12 13:22:54 +02:00 committed by GitHub
commit 5fba6e4bca
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions

View File

@ -1,6 +1,6 @@
name: build test CI
on: push
on: [ push, pull_request_target ]
jobs:
build-test:

View File

@ -1,6 +1,6 @@
name: lint test CI
on: push
on: [ push, pull_request_target ]
jobs:
build-test: