disko/scripts
Felix Uhl ae7891e21f disko2: Fix all mypy type checking errors
Belongs to d382a3cccf, but I authored that
on another machine.

Making sure vscode uses mypy from the environment is very important now,
because some of these errors get triggered in different ways depending
on the version.
2024-11-17 19:39:07 +01:00
..
create-release.nix disko cli: add --version command 2024-10-11 15:14:56 +00:00
create-release.sh release: fix wrong push command 2024-10-12 00:49:30 +02:00
generate_python_types.py disko2: Fix all mypy type checking errors 2024-11-17 19:39:07 +01:00