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 /doc/ale-tex.txt | |
| 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 'doc/ale-tex.txt')
0 files changed, 0 insertions, 0 deletions