mirror of
https://github.com/embassy-rs/embassy.git
synced 2025-09-30 22:01:07 +00:00
ci: lower book, doc job prio
This commit is contained in:
parent
7d9da40d36
commit
77a8bc27e9
2
.github/ci/book.sh
vendored
2
.github/ci/book.sh
vendored
@ -1,6 +1,6 @@
|
|||||||
#!/bin/bash
|
#!/bin/bash
|
||||||
## on push branch=main
|
## on push branch=main
|
||||||
## priority -9
|
## priority -100
|
||||||
## dedup dequeue
|
## dedup dequeue
|
||||||
|
|
||||||
set -euxo pipefail
|
set -euxo pipefail
|
||||||
|
2
.github/ci/doc.sh
vendored
2
.github/ci/doc.sh
vendored
@ -1,6 +1,6 @@
|
|||||||
#!/bin/bash
|
#!/bin/bash
|
||||||
## on push branch=main
|
## on push branch=main
|
||||||
## priority -10
|
## priority -100
|
||||||
## dedup dequeue
|
## dedup dequeue
|
||||||
|
|
||||||
set -euxo pipefail
|
set -euxo pipefail
|
||||||
|
Loading…
x
Reference in New Issue
Block a user