diff options
| author | 1-rafael-1 <[email protected]> | 2025-09-15 20:07:18 +0200 |
|---|---|---|
| committer | 1-rafael-1 <[email protected]> | 2025-09-15 20:07:18 +0200 |
| commit | 6bb3d2c0720fa082f27d3cdb70f516058497ec87 (patch) | |
| tree | 5a1e255cff999b00800f203b91a759c720c973e5 /.github/ci/book.sh | |
| parent | eb685574601d98c44faed9a3534d056199b46e20 (diff) | |
| parent | 92a6fd2946f2cbb15359290f68aa360953da2ff7 (diff) | |
Merge branch 'main' into rp2040-rtc-alarm
Diffstat (limited to '.github/ci/book.sh')
| -rwxr-xr-x | .github/ci/book.sh | 3 |
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 @@ | |||
| 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 | ||