1 files changed, 2 insertions, 0 deletions
diff --git a/.github/ci/book.sh b/.github/ci/book.sh
index 285cdc8fa..2466f53f5 100755
--- a/.github/ci/book.sh
+++ b/.github/ci/book.sh
@@ -1,5 +1,7 @@
 #!/bin/bash
 ## on push branch=main
+## priority -9
+## dedup dequeue
 set -euxo pipefail

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