1 files changed, 3 insertions, 0 deletions
diff --git a/.github/ci/book.sh b/.github/ci/book.sh
index 285cdc8fa..6c300bf09 100755
--- a/.github/ci/book.sh
+++ b/.github/ci/book.sh
@@ -1,5 +1,8 @@
 #!/bin/bash
 ## on push branch=main
+## priority -100
+## dedup dequeue
+## cooldown 15m
 set -euxo pipefail

diff --git a/.github/ci/book.sh b/.github/ci/book.sh index 285cdc8fa..6c300bf09 100755 --- a/.github/ci/book.sh +++ b/.github/ci/book.sh
@@ -1,5 +1,8 @@
1	#!/bin/bash	1	#!/bin/bash
2	## on push branch=main	2	## on push branch=main
		3	## priority -100
		4	## dedup dequeue
		5	## cooldown 15m
3		6
4	set -euxo pipefail	7	set -euxo pipefail
5		8