Merge branch 'master' into add-pio-remote-test-to-github-action

pull/271/head
Peter Buchegger 2023-02-19 12:59:02 +01:00 zatwierdzone przez GitHub
commit bc63785d1c
Nie znaleziono w bazie danych klucza dla tego podpisu
ID klucza GPG: 4AEE18F83AFDEB23
1 zmienionych plików z 1 dodań i 6 usunięć

Wyświetl plik

@ -2,13 +2,8 @@ name: Integration Tests
on:
merge_group:
push:
branches:
- '*'
- '!master'
pull_request:
branches:
- master
types: [opened, reopened]
jobs:
build: