diff options
author | Horacio Sanson <hsanson@gmail.com> | 2021-08-08 22:06:58 +0900 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-08-08 22:06:58 +0900 |
commit | a793db7399e786b8c882b10e6a8540718d5cdbf1 (patch) | |
tree | 1109c513a94df4891e0f26e8d4fc6c128dc8d76d /.vintrc.yaml | |
parent | cc34310a99ece2a1bb8d626f77436e53d43fa18b (diff) | |
download | ale-a793db7399e786b8c882b10e6a8540718d5cdbf1.zip |
Fix 3865 - Disable scriptencoding vint error. (#3866)
- Add .vintrc.yaml configuration that disables the scriptencoding check
(ProhibitMissingScriptEncoding) that is raised randomly.
- Upgrade vint to 0.3.21. Project seems to have stopped here and 0.4.0
was never released.
- Ensure the run-test scripts use the correct docker image (e.g. add tag)
.
Co-authored-by: Horacio Sanson <horacio@allm.inc>
Diffstat (limited to '.vintrc.yaml')
-rw-r--r-- | .vintrc.yaml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.vintrc.yaml b/.vintrc.yaml new file mode 100644 index 00000000..ce04d476 --- /dev/null +++ b/.vintrc.yaml @@ -0,0 +1,5 @@ +policies: + # Disable a violation that is thrown randomly for reasons I still + # do not understand. + ProhibitMissingScriptEncoding: + enabled: false |