Compare commits
2
Commits
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
a799a9890a | ||
|
|
9919afa0ee |
@@ -29,13 +29,10 @@ env:
|
|||||||
CARGO_NET_RETRY: "10"
|
CARGO_NET_RETRY: "10"
|
||||||
CARGO_HTTP_MULTIPLEXING: "false"
|
CARGO_HTTP_MULTIPLEXING: "false"
|
||||||
|
|
||||||
# Cancel superseded PR runs, but NEVER cancel main-branch runs — those build and
|
# Cancel in-progress runs for the same branch/PR
|
||||||
# deploy per-service images, and cancelling one merge's deploy when the next
|
|
||||||
# merge lands leaves a service un-deployed (as happened between two back-to-back
|
|
||||||
# merges). So cancel-in-progress only for pull_request events.
|
|
||||||
concurrency:
|
concurrency:
|
||||||
group: ${{ github.workflow }}-${{ github.ref }}
|
group: ${{ github.workflow }}-${{ github.ref }}
|
||||||
cancel-in-progress: ${{ github.event_name == 'pull_request' }}
|
cancel-in-progress: true
|
||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
# ---------------------------------------------------------------------------
|
# ---------------------------------------------------------------------------
|
||||||
|
|||||||
Reference in New Issue
Block a user