build: Use authentication token to avoid GitHub rate limit

The workers share a common public IP address and often GitHub will
reject attempts to access the API due to exceeding the anonymous rate
limit threshold.

Signed-off-by: Rob Bradford <rbradford@rivosinc.com>
This commit is contained in:
Rob Bradford 2024-03-02 10:31:00 +00:00
parent 46c9b9693c
commit 0f71956d6d
3 changed files with 6 additions and 0 deletions

View File

@ -8,6 +8,8 @@ jobs:
build: build:
name: Tests (Rate-Limiter) name: Tests (Rate-Limiter)
runs-on: ${{ github.event_name == 'pull_request' && 'ubuntu-latest' || 'jammy-rate-limiter' }} runs-on: ${{ github.event_name == 'pull_request' && 'ubuntu-latest' || 'jammy-rate-limiter' }}
env:
AUTH_DOWNLOAD_TOKEN: ${{ secrets.AUTH_DOWNLOAD_TOKEN }}
steps: steps:
- name: Fix workspace permissions - name: Fix workspace permissions
if: ${{ github.event_name != 'pull_request' }} if: ${{ github.event_name != 'pull_request' }}

View File

@ -8,6 +8,8 @@ jobs:
build: build:
name: Tests (SGX) name: Tests (SGX)
runs-on: ${{ github.event_name == 'pull_request' && 'ubuntu-latest' || 'jammy-sgx' }} runs-on: ${{ github.event_name == 'pull_request' && 'ubuntu-latest' || 'jammy-sgx' }}
env:
AUTH_DOWNLOAD_TOKEN: ${{ secrets.AUTH_DOWNLOAD_TOKEN }}
steps: steps:
- name: Fix workspace permissions - name: Fix workspace permissions
if: ${{ github.event_name != 'pull_request' }} if: ${{ github.event_name != 'pull_request' }}

View File

@ -8,6 +8,8 @@ jobs:
build: build:
name: Tests (VFIO) name: Tests (VFIO)
runs-on: ${{ github.event_name == 'pull_request' && 'ubuntu-latest' || 'jammy-vfio' }} runs-on: ${{ github.event_name == 'pull_request' && 'ubuntu-latest' || 'jammy-vfio' }}
env:
AUTH_DOWNLOAD_TOKEN: ${{ secrets.AUTH_DOWNLOAD_TOKEN }}
steps: steps:
- name: Fix workspace permissions - name: Fix workspace permissions
if: ${{ github.event_name != 'pull_request' }} if: ${{ github.event_name != 'pull_request' }}