Skip to content

Commit

Permalink
Update workflow to remove parallel build.
Browse files Browse the repository at this point in the history
This is to rule out this as a source of the 'file exists' errors upon build.
  • Loading branch information
Chris Compton committed Dec 11, 2023
1 parent 125eda3 commit 217b20b
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/pages.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -123,7 +123,7 @@ jobs:
# https://docs.github.com/en/actions/using-github-hosted-runners/about-github-hosted-runners#supported-runners-and-hardware-resources
# GHA runners have 2 CPUs
run: |
make site -j2 \
make site \
${{ github.event.inputs.revisions != '' && format('REVISIONS=''{0}''', github.event.inputs.revisions) || '' }} \
${{ github.event.inputs.revisions == '' && github.event.inputs.prefix && format('PROTOTYPE_BRANCHES_PREFIX=''{0}''', github.event.inputs.prefix) || '' }}
#
Expand Down

0 comments on commit 217b20b

Please sign in to comment.