Make the CI work with merge queue grouping

This commit is contained in:
Kerollmops 2025-03-20 12:29:08 +01:00
parent 7df2bdfb15
commit c0fe70c5f0
No known key found for this signature in database
GPG Key ID: F250A4C4E3AE5F5F

View File

@ -6,6 +6,7 @@ on:
# Everyday at 5:00am
- cron: "0 5 * * *"
pull_request:
merge_group:
push:
# trying and staging branches are for Bors config
branches: