diff options
| author | Götz Christ <goetzchrist@pm.me> | 2021-09-17 03:55:28 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-17 17:55:28 +0900 |
| commit | 2f72a3ed1972d23a5ef50c78715ec68f090932e8 (patch) | |
| tree | 37e33f7f23ca8a025ce5c6e0597278ca253f6411 /syntax | |
| parent | dca56dd77267d6cedc3785f1359dd96d1f4b3fa9 (diff) | |
| download | ale-2f72a3ed1972d23a5ef50c78715ec68f090932e8.zip | |
[YAML] CircleCI: skip checking for new tool version (#3902)
This way the tool runs a bit faster and we don't create unneeded network requests. Don't know if there are other network requests still occurring.
Diffstat (limited to 'syntax')
0 files changed, 0 insertions, 0 deletions