Merge pull request #11108 from ethereum/remove-remains-of-shellcheck-ignore-list

Remove remains of shellcheck ignore list
This commit is contained in:
Kamil Śliwak 2021-03-15 21:05:52 +01:00 committed by GitHub
commit e7ac2fce81
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,10 +0,0 @@
./test/cmdlineTests.sh
./scripts/wasm-rebuild/docker-scripts/rebuild_tags.sh
./scripts/docs_version_pragma_check.sh
./scripts/tests.sh
./scripts/bytecodecompare/storebytecode.sh
./scripts/deps-ppa/static_z3.sh
./scripts/ASTImportTest.sh
./scripts/install_deps.sh
./scripts/release_ppa.sh
./.circleci/soltest.sh