Abdo ad88eff794 chore: Move .github/scripts/*.py to tools/ (#5375) ...

## Linked issue

Closes #5374

## Summary

Move .github/scripts to tools/ so they are included in static checking
and testing.

## Steps to reproduce (before)

- Make a formatting/typing error in prepare_release.py and confirm
`ninja check` does not report that.
- Modify test_validate_version.py to fail tests and confirm it's not
caught by ninja check.

## How to test (after)

The scripts should now be included in the checks as the tools/ directory
is already included by the build system.

2026-08-21 18:01:42 +03:00

..

configure

chore: Move .github/scripts/*.py to tools/ (#5375)

2026-08-21 18:01:42 +03:00

ninja_gen

chore: Configure mypy extension for VS Code (#5317)

2026-08-14 22:02:00 +03:00

runner

chore: Configure mypy extension for VS Code (#5317)

2026-08-14 22:02:00 +03:00