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 75137c1469
commit a1dd524471
6 changed files with 10 additions and 6 deletions

View file

@ -2,7 +2,8 @@ name: Test
on:
workflow_dispatch:
pull_request: { }
pull_request:
merge_group:
push:
branches: [ main, develop ]