diff options
| author | leftger <[email protected]> | 2025-07-27 09:38:38 -0700 |
|---|---|---|
| committer | GitHub <[email protected]> | 2025-07-27 09:38:38 -0700 |
| commit | b9e643d5c2d7192143e91db83b9e8377f0fbcacc (patch) | |
| tree | 86a695a05ccb70be67613ea742b14094a7aca362 /.github | |
| parent | 1b3674b30ac2b7deb8e19b132d5ba15351cb8ebd (diff) | |
| parent | 77a8bc27e9c34e363f321132ebb9e8d8ff684a9f (diff) | |
Merge branch 'main' into feat/stm32wba-rcc-pll-support
Diffstat (limited to '.github')
| -rwxr-xr-x | .github/ci/book.sh | 2 | ||||
| -rwxr-xr-x | .github/ci/doc.sh | 2 |
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 @@ | |||
| 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 |