Evgeny Vereshchagin a055076988 ci: free up some resources on Pipelines ... Now that CIFuzz supports all the sanitizers we use and ALLOWED_BROKEN_TARGETS_PERCENTAGE we no longer need that bash script.		2020-06-25 10:48:57 +02:00
..
managers	ci: free up some resources on Pipelines	2020-06-25 10:48:57 +02:00
scripts	scripts: use 4 space indentation	2019-04-12 08:30:31 +02:00
tools	scripts: use 4 space indentation	2019-04-12 08:30:31 +02:00
.dockerignore	Integration of Travis CI and Coverity Scan Analysis (#7691)	2018-01-11 11:41:35 +01:00
Dockerfile	codespell: fix spelling errors	2019-04-29 16:47:18 +02:00
requirements.txt	tests: install perl for CI	2019-05-20 15:47:28 +02:00