repositories
/
poolifier.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
1de9741
)
build: run CI on merge queue
author
Jérôme Benoit
<jerome.benoit@sap.com>
Wed, 15 Mar 2023 10:21:10 +0000
(11:21 +0100)
committer
Jérôme Benoit
<jerome.benoit@sap.com>
Wed, 15 Mar 2023 10:21:10 +0000
(11:21 +0100)
Signed-off-by: Jérôme Benoit <jerome.benoit@sap.com>
.github/workflows/ci.yml
patch
|
blob
|
blame
|
history
diff --git
a/.github/workflows/ci.yml
b/.github/workflows/ci.yml
index 76df06d98dda13497a0eaca9f602e12145010abf..2745d2f298229d059a008d6c88b2895f2884b2a2 100644
(file)
--- a/
.github/workflows/ci.yml
+++ b/
.github/workflows/ci.yml
@@
-5,6
+5,8
@@
on:
branches: [master]
pull_request:
types: [opened, synchronize, reopened]
+ merge_group:
+ branches: [master]
workflow_dispatch:
inputs:
withBenchmark: