From 77a8bc27e9c34e363f321132ebb9e8d8ff684a9f Mon Sep 17 00:00:00 2001 From: Dario Nieuwenhuis Date: Sun, 27 Jul 2025 02:03:43 +0200 Subject: ci: lower book, doc job prio --- .github/ci/book.sh | 2 +- .github/ci/doc.sh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to '.github') 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 -- cgit