Try to fix using the merge queue (#1009)

This commit is contained in:
Jorge Martin Espinosa
2023-07-31 15:35:38 +02:00
committed by GitHub
parent eb80f5bbfe
commit 9e85c74c9c
6 changed files with 10 additions and 6 deletions
+2 -1
View File
@@ -2,7 +2,8 @@ name: Code Quality Checks
on:
workflow_dispatch:
pull_request: { }
pull_request:
merge_group:
push:
branches: [ main, develop ]