Silence wget in build log

[ci skip]
pull/2/head
probonopd 3 years ago committed by GitHub
parent ead0882364
commit b1c9d73b1f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 2
      .github/workflows/build.yml

@ -15,7 +15,7 @@ jobs:
- uses: actions/checkout@v2 - uses: actions/checkout@v2
- name: Install toolchain - name: Install toolchain
run: | run: |
wget https://developer.arm.com/-/media/Files/downloads/gnu-a/10.3-2021.07/binrel/gcc-arm-10.3-2021.07-x86_64-aarch64-none-elf.tar.xz wget -q https://developer.arm.com/-/media/Files/downloads/gnu-a/10.3-2021.07/binrel/gcc-arm-10.3-2021.07-x86_64-aarch64-none-elf.tar.xz
tar xf gcc-arm-*-*.tar.xz tar xf gcc-arm-*-*.tar.xz
export PATH=$(readlink -f ./gcc-*/bin/):$PATH export PATH=$(readlink -f ./gcc-*/bin/):$PATH
- name: Build circle-stdlib library - name: Build circle-stdlib library

Loading…
Cancel
Save