From dd538ffd4d112e91310c535dcdad70754ebcbf2f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?B=C3=A9r=C3=A9nice=20Batut?= Date: Tue, 24 Sep 2024 13:42:07 +0200 Subject: [PATCH] Add environment with API key for tool fetching (#175) --- .github/workflows/fetch_filter_resources.yaml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/fetch_filter_resources.yaml b/.github/workflows/fetch_filter_resources.yaml index 85bd1b6d..f52ce223 100644 --- a/.github/workflows/fetch_filter_resources.yaml +++ b/.github/workflows/fetch_filter_resources.yaml @@ -37,6 +37,7 @@ jobs: fetch-tools-stepwise: runs-on: ubuntu-20.04 name: Fetch tool stepwise + environment: fetch-tools needs: fetch-servers strategy: #max-parallel: 1 #need to run one after another, since otherwise there is a chance, that mulitple jobs want to push to the results branch at the same time (which fails due to merge)