2 files changed, 2 insertions, 2 deletions
diff --git a/.github/ci/book.sh b/.github/ci/book.sh
index 2466f53f5..c91d10d16 100755
--- a/.github/ci/book.sh
+++ b/.github/ci/book.sh
@@ -1,6 +1,6 @@
 #!/bin/bash
 ## on push branch=main
-## priority -9
+## priority -100
 ## dedup dequeue
 set -euxo pipefail
diff --git a/.github/ci/doc.sh b/.github/ci/doc.sh
index 9162b37ae..26971afdc 100755
--- a/.github/ci/doc.sh
+++ b/.github/ci/doc.sh
@@ -1,6 +1,6 @@
 #!/bin/bash
 ## on push branch=main
-## priority -10
+## priority -100
 ## dedup dequeue
 set -euxo pipefail

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


diff --git a/.github/ci/doc.sh b/.github/ci/doc.sh index 9162b37ae..26971afdc 100755 --- a/.github/ci/doc.sh +++ b/.github/ci/doc.sh
@@ -1,6 +1,6 @@
1	#!/bin/bash	1	#!/bin/bash
2	## on push branch=main	2	## on push branch=main
3	## priority -10	3	## priority -100
4	## dedup dequeue	4	## dedup dequeue
5		5
6	set -euxo pipefail	6	set -euxo pipefail