Avoid duplication of tools list
Closed this issue · 0 comments
ericcornelissen commented
Summary
Find a way to avoid the duplication of the list of tools between .tool-versions
:
Lines 3 to 4 in 137070d
and nightly.yml
:
shescape/.github/workflows/nightly.yml
Lines 33 to 34 in 137070d