diff options
author | Jack Lloyd <[email protected]> | 2020-10-28 11:31:46 -0400 |
---|---|---|
committer | Jack Lloyd <[email protected]> | 2020-10-28 11:31:46 -0400 |
commit | d28ac27b61ec6019f49279da7da3f59a1679aed2 (patch) | |
tree | c2590db6a3864813bcd7e3fd5e255e37f755b5a0 /src | |
parent | 493f3281a25620d81a2fab5b82d5a76057607ce1 (diff) |
Run pylint on amd64 until issue can be resolved
Diffstat (limited to 'src')
-rw-r--r-- | src/scripts/ci/travis.yml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/scripts/ci/travis.yml b/src/scripts/ci/travis.yml index a6936f8a9..4a78f4b3d 100644 --- a/src/scripts/ci/travis.yml +++ b/src/scripts/ci/travis.yml @@ -116,7 +116,6 @@ jobs: - TARGET="nist" - name: Pylint - arch: arm64 env: - TARGET="lint" |