Make the CI work with merge queue grouping

This commit is contained in:
Kerollmops 2025-03-20 12:29:08 +01:00
parent d286e63f15
commit 3160ddf9df
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: