ci: fix spurious network erros (#268)

Occasionally our ci jobs would fail due to network errors.
This is a known issue which is worked around by disabling
http multiplexing, for now. Hopefully.
This commit is contained in:
Raphael 2025-02-15 22:26:04 +01:00 committed by GitHub
parent dfe1a28267
commit 504eb0d014
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 12 additions and 0 deletions

View file

@ -78,6 +78,12 @@ jobs:
gir1.2-javascriptcoregtk-4.1=2.44.0-2 \
gir1.2-webkit2-4.1=2.44.0-2;
- name: work around spurious network errors in curl 8.0
run: |
if rustc --version --verbose | grep -q '^release: 1\.79\.'; then
echo CARGO_HTTP_MULTIPLEXING=false >> $GITHUB_ENV
fi
- name: Install Frontend Dependencies
working-directory: src-gui
run: yarn install

View file

@ -64,6 +64,12 @@ jobs:
gir1.2-javascriptcoregtk-4.1=2.44.0-2 \
gir1.2-webkit2-4.1=2.44.0-2;
- name: work around spurious network errors in curl 8.0
run: |
if rustc --version --verbose | grep -q '^release: 1\.79\.'; then
echo CARGO_HTTP_MULTIPLEXING=false >> $GITHUB_ENV
fi
- name: install frontend dependencies
working-directory: src-gui
run: yarn install