ci: use merge queues

This commit is contained in:
Rob Ede 2023-08-01 19:30:37 +01:00
parent 09d9d6a3e7
commit 3429978cf6
No known key found for this signature in database
GPG Key ID: 97C636207D3EF933
2 changed files with 3 additions and 2 deletions

View File

@ -2,8 +2,7 @@ name: Benchmark
on:
push:
branches:
- master
branches: [master]
permissions:
contents: read # to fetch code (actions/checkout)

View File

@ -3,6 +3,8 @@ name: CI
on:
pull_request:
types: [opened, synchronize, reopened]
merge_group:
types: [checks_requested]
push:
branches: [master]