Evgeny Vereshchagin 5141b4e3b6 ci: install fdisk on Debian ... To judge from https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=947134 and 44ec91ef11, `util-linux` no longer depends on `fdisk` so it seems it should be installed manually.		2020-05-14 04:24:49 +03:00
..
debian.sh	ci: install fdisk on Debian	2020-05-14 04:24:49 +03:00
fedora.sh	ci: add new dependencies to CI	2020-01-28 22:38:22 +01:00
fuzzbuzz.sh	ci: turn off FuzzBuzz	2020-03-30 14:57:22 +02:00
fuzzit.sh	fuzzit: make the submit phase a bit more robust	2020-04-24 01:58:37 +03:00
travis_wait.bash	scripts: use 4 space indentation	2019-04-12 08:30:31 +02:00