Skip to content

Commit

Permalink
only run one fetch tool job (otherwise we cannot push to results)
Browse files Browse the repository at this point in the history
  • Loading branch information
paulzierep committed Jul 18, 2024
1 parent a7d8855 commit 795ec84
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions .github/workflows/fetch_all_tools.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -52,6 +52,7 @@ jobs:
name: Fetch all tool stepwise
strategy:
matrix:
max-parallel: 1
python-version: [3.11]
subset:
- repositories01.list
Expand Down

0 comments on commit 795ec84

Please sign in to comment.