mirror of
https://github.com/mozilla/pdf.js.git
synced 2026-07-05 06:35:48 +02:00
Merge pull request #21528 from calixteman/serialize-pages-deploy
Serialize GitHub Pages deployments to avoid concurrent deploy failures
This commit is contained in:
commit
a0061817e6
6
.github/workflows/publish_website.yml
vendored
6
.github/workflows/publish_website.yml
vendored
@ -6,6 +6,12 @@ on:
|
|||||||
permissions:
|
permissions:
|
||||||
contents: read
|
contents: read
|
||||||
|
|
||||||
|
# Allow only one concurrent deployment, without cancelling in-progress runs, so
|
||||||
|
# that an in-flight Pages deployment is allowed to finish before the next starts.
|
||||||
|
concurrency:
|
||||||
|
group: "pages"
|
||||||
|
cancel-in-progress: false
|
||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
build:
|
build:
|
||||||
name: Build
|
name: Build
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user