Merge branch 'main' into feat/stm32wba-usb-example

2 files changed, 3 insertions, 0 deletions

diff --git a/.github/ci/book.sh b/.github/ci/book.sh
index c91d10d16..dada4b348 100755
--- a/.github/ci/book.sh
+++ b/.github/ci/book.sh
@@ -2,6 +2,7 @@
 ## on push branch=main
 ## priority -100
 ## dedup dequeue
+## cooldown 15m
 
 set -euxo pipefail
 
@@ -17,3 +18,4 @@ kubectl exec $POD -- mkdir -p /usr/share/nginx/html
 kubectl cp book.tar $POD:/usr/share/nginx/html/
 kubectl exec $POD -- find /usr/share/nginx/html
 kubectl exec $POD -- tar -C /usr/share/nginx/html -xvf /usr/share/nginx/html/book.tar
+3
diff --git a/.github/ci/doc.sh b/.github/ci/doc.sh
index 26971afdc..ac96008d8 100755
--- a/.github/ci/doc.sh
+++ b/.github/ci/doc.sh
@@ -2,6 +2,7 @@
 ## on push branch=main
 ## priority -100
 ## dedup dequeue
+## cooldown 15m
 
 set -euxo pipefail