13 Commits (a5470586acf8b6770d0a0c73865f17059945a14b)

Author	SHA1	Message	Date
Emilio López	024b8849f6	GitHub Super Linter: ignore test json, zip, sol files ... These test files are a large part of the repository, and do not need to be linted. The large number of files makes the enumeration slow when performed by the Super Linter, which results in CI jobs taking considerably long. This PR ignores said files in hopes to speed up the CI workflows. It also switches the Super Linter image to the slim version, which should be slightly faster to download. Fixes: #1084	3 years ago
Josselin	eb671ec341	Fix CI ... Update to gh super linter v4 Add missing 0.8.11 tests (fix #1015)	3 years ago
Feist Josselin	ceb7478eed	Disable mypy gh action	4 years ago
Feist Josselin	01800ef9ae	Disable mypy from gh super action	4 years ago
Josselin	fedf24ce4f	Fix pylint ... Split CI into three separate process	4 years ago
Feist Josselin	8afd422712	disable jscp from gh super linter	4 years ago
Josselin	5514e16f70	Disable isort, fix pylint	4 years ago
Feist Josselin	fa5e4d4552	Enable github super linter as a cron job (#636) ... * Enable github super linter as a cron job	4 years ago
Feist Josselin	13bbd0199a	Split super linter into three runs (#626) ... * Split super linter into three runs (pylint, black, everything else)	4 years ago
Josselin	fed26b69b6	Add black to the CI	4 years ago
Josselin	1bdafde904	Remove import issue from pylint (see https://github.com/github/super-linter/issues/157)	4 years ago
Josselin	962b7ae10d	Run black ... Fix additional issues Improve linter.yml	4 years ago
Josselin	557d869b17	Fix additional pylint issues ... Disable dockerfile linter, disable flake8	4 years ago
Feist Josselin	683ebb924d	Try github super linter (#614) ... Add github super-linter to the CI	4 years ago