Merge branch 'main' into dev

This commit is contained in:
bitfl0wer 2023-09-03 20:23:03 +02:00
commit d09fc75f54
No known key found for this signature in database
GPG Key ID: 0ACD574FCF5226CF
2 changed files with 2 additions and 2 deletions

View File

@ -2,7 +2,7 @@ name: Build and Test
on: on:
push: push:
branches: [ "main" ] branches: [ "main", "dev" ]
pull_request: pull_request:
branches: [ "main" ] branches: [ "main" ]

View File

@ -11,7 +11,7 @@ name: rust-clippy analyze
on: on:
push: push:
branches: [ "main", "preserve/*" ] branches: [ "main", "preserve/*", "dev" ]
pull_request: pull_request:
# The branches below must be a subset of the branches above # The branches below must be a subset of the branches above
branches: [ "main" ] branches: [ "main" ]