ci: add substitute server

This commit is contained in:
tobtoht 2024-08-09 10:03:03 +02:00
parent 5d9f12a899
commit fc30f71170
No known key found for this signature in database
GPG key ID: E45B10DD027D2472

View file

@ -54,7 +54,7 @@ jobs:
- name: install dependencies - name: install dependencies
run: sudo apt update; sudo apt -y install guix git ca-certificates run: sudo apt update; sudo apt -y install guix git ca-certificates
- name: build - name: build
run: SUBSTITUTE_URLS='http://ci.guix.gnu.org' HOSTS="${{ matrix.toolchain.target }}" ./contrib/guix/guix-build run: SUBSTITUTE_URLS='http://bordeaux.guix.gnu.org http://ci.guix.gnu.org' HOSTS="${{ matrix.toolchain.target }}" ./contrib/guix/guix-build
- uses: actions/upload-artifact@v4 - uses: actions/upload-artifact@v4
with: with:
name: ${{ matrix.toolchain.target }} name: ${{ matrix.toolchain.target }}