diff options
| author | Rick Rogers <[email protected]> | 2025-07-25 11:34:21 -0400 |
|---|---|---|
| committer | Rick Rogers <[email protected]> | 2025-07-25 11:34:21 -0400 |
| commit | 33fc82a455df058c5bdef23b68304a3dcb33f069 (patch) | |
| tree | 63f876b833e5ced8863b0b4825e8ab822190dd13 /.github | |
| parent | 24b2794931e73325ad969d83453d0cf872ac4775 (diff) | |
| parent | 996974e313fa5ec2c7c2d9dd0998fab244c0a180 (diff) | |
Merge branch 'main' into h7rs-xspi-fixes
Diffstat (limited to '.github')
| -rwxr-xr-x | .github/ci/book.sh | 2 | ||||
| -rwxr-xr-x | .github/ci/doc.sh | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/.github/ci/book.sh b/.github/ci/book.sh index 285cdc8fa..2466f53f5 100755 --- a/.github/ci/book.sh +++ b/.github/ci/book.sh | |||
| @@ -1,5 +1,7 @@ | |||
| 1 | #!/bin/bash | 1 | #!/bin/bash |
| 2 | ## on push branch=main | 2 | ## on push branch=main |
| 3 | ## priority -9 | ||
| 4 | ## dedup dequeue | ||
| 3 | 5 | ||
| 4 | set -euxo pipefail | 6 | set -euxo pipefail |
| 5 | 7 | ||
diff --git a/.github/ci/doc.sh b/.github/ci/doc.sh index 90662af82..9162b37ae 100755 --- a/.github/ci/doc.sh +++ b/.github/ci/doc.sh | |||
| @@ -1,5 +1,7 @@ | |||
| 1 | #!/bin/bash | 1 | #!/bin/bash |
| 2 | ## on push branch=main | 2 | ## on push branch=main |
| 3 | ## priority -10 | ||
| 4 | ## dedup dequeue | ||
| 3 | 5 | ||
| 4 | set -euxo pipefail | 6 | set -euxo pipefail |
| 5 | 7 | ||