Unnamed repository; edit this file 'description' to name the repository.
Also run build checks on merge queue
Blaž Hrastnik 2023-02-09
parent 882fa11 · commit 8e2eab1
-rw-r--r--.github/workflows/build.yml1
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 0d6fcb3e..8f3b778a 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -4,6 +4,7 @@ on:
push:
branches:
- master
+ merge_group:
schedule:
- cron: '00 01 * * *'