2 Commits (rei/flake_gcc_etc)

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
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