From 833108d573aa7c10426853f4af61bf13f1afd3b2 Mon Sep 17 00:00:00 2001 From: Francois Daoust Date: Fri, 30 Apr 2021 10:19:07 +0200 Subject: [PATCH] [Auto publication] Force job serialization One job runs for each of the 3 documents in the repository. Each of them updates the "gh-pages" branch. Problem is that these jobs are typically run in parallel, leading to "not up to date" issues when "git push" commands are run. For an example of such a problem, see: https://github.com/w3c/webcodecs/runs/2462176606 Also see discussion in: https://github.com/w3c/spec-prod/issues/58 This update tells GitHub to serialize the jobs. Since the jobs are relatively independent otherwise, it also tells GitHub to run them to completion even when one of them fails. --- .github/workflows/pr-push.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/pr-push.yml b/.github/workflows/pr-push.yml index 28d8a0e3..d9d42846 100644 --- a/.github/workflows/pr-push.yml +++ b/.github/workflows/pr-push.yml @@ -19,6 +19,8 @@ jobs: main: runs-on: ubuntu-20.04 strategy: + fail-fast: false + max-parallel: 1 matrix: include: - source: index.src.html