3 Commits (73af10f419346a5f2d70131ac1ed8e69942edca0)

Author	SHA1	Message	Date
David Robertson	30c8e7e408	Make `scripts-dev` pass `mypy --disallow-untyped-defs` (#12356) ... Not enforced in config yet. One day.	2022-04-27 13:10:31 +00:00
Shay	99ab45423a	build debian package for jammy jellyfish (#12543)	2022-04-26 10:34:59 +01:00
David Robertson	1fbe0316a9	Add suffices to scripts in scripts-dev (#12137) ... * Rename scripts-dev to have suffices * Update references to `scripts-dev` * Changelog * These scripts don't pass mypy	2022-03-02 18:00:26 +00:00