diff options
| author | Silvan Mosberger <silvan.mosberger@tweag.io> | 2023-12-16 03:01:03 +0100 |
|---|---|---|
| committer | Silvan Mosberger <silvan.mosberger@tweag.io> | 2023-12-19 23:15:01 +0100 |
| commit | 3869ba41274265150be6f9e233ae5f8f35f867ee (patch) | |
| tree | 4b957376c8e577a0c243920f79290bd7b73b4947 /doc | |
| parent | 2a107bc64b22101157cad353272495add0947a59 (diff) | |
workflows/check-by-name: Move tool fetching into script
This part of the CI can also be reproduced locally
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions