summaryrefslogtreecommitdiffstats
path: root/.github/workflows/mypy.yml
Commit message (Collapse)AuthorAgeFilesLines
* Add zizmor to pre-commit and fix most findings (#127749)Hugo van Kemenade2024-12-101-0/+2
| | | Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>
* CI: Bump Python to 3.13 and mypy to 1.12 in mypy workflow (#125592)Kirill Podoprigora2024-10-161-1/+1
| | | | | * Bump mypy to 1.12 & Python to 3.13 * Remove unnecessary `type: ignore`
* Use `fail-fast: false` in `mypy.yml` (#119297)Nikita Sobolev2024-05-211-0/+1
| | | See docs about this setting: https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#jobsjob_idstrategyfail-fast
* gh-111201: A new Python REPL (GH-111567)Pablo Galindo Salgado2024-05-051-1/+3
| | | | | | | Co-authored-by: Łukasz Langa <lukasz@langa.pl> Co-authored-by: Marta Gómez Macías <mgmacias@google.com> Co-authored-by: Lysandros Nikolaou <lisandrosnik@gmail.com> Co-authored-by: Hugo van Kemenade <1324225+hugovk@users.noreply.github.com> Co-authored-by: Jelle Zijlstra <jelle.zijlstra@gmail.com>
* GH-113464: Add a JIT backend for tier 2 (GH-113465)Brandt Bucher2024-01-291-0/+2
| | | | | | | Add an option (--enable-experimental-jit for configure-based builds or --experimental-jit for PCbuild-based ones) to build an *experimental* just-in-time compiler, based on copy-and-patch (https://fredrikbk.com/publications/copy-and-patch.pdf). See Tools/jit/README.md for more information on how to install the required build-time tooling.
* build(deps): bump actions/setup-python from 4 to 5 (#113612)dependabot[bot]2024-01-011-1/+1
| | | | | | | | | | | | | | | Bumps [actions/setup-python](https://github.com/actions/setup-python) from 4 to 5. - [Release notes](https://github.com/actions/setup-python/releases) - [Commits](https://github.com/actions/setup-python/compare/v4...v5) --- updated-dependencies: - dependency-name: actions/setup-python dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
* gh-112302: Add Software Bill-of-Materials (SBOM) tracking for dependencies ↵Seth Michael Larson2023-12-071-0/+2
| | | | (#112303)
* gh-109413: Run mypy on `libregrtest` in CI (#112558)Alex Waygood2023-11-301-0/+2
| | | Co-authored-by: Hugo van Kemenade <hugovk@users.noreply.github.com>
* gh-109125: Run mypy on `Tools/wasm` (#109126)Nikita Sobolev2023-09-191-2/+4
|
* CI: Bump GitHub Actions (#108879)Hugo van Kemenade2023-09-041-1/+1
|
* gh-108455: Run `mypy` on `Tools/peg_generator` (#108456)Nikita Sobolev2023-08-281-1/+6
| | | | Co-authored-by: Hugo van Kemenade <hugovk@users.noreply.github.com>
* Run `mypy` when `Tools/requirements-dev.txt` changes (#108457)Nikita Sobolev2023-08-241-0/+1
|
* gh-104504: Run mypy on cases_generator in CI (and blacken the code) (gh-108090)Dong-hee Na2023-08-181-5/+9
| | | Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>
* gh-104050: Run mypy on `clinic.py` in CI (#104421)Alex Waygood2023-05-151-0/+39
* Add basic mypy workflow to CI * Make the type check pass --------- Co-authored-by: Erlend E. Aasland <erlend.aasland@protonmail.com> Co-authored-by: Nikita Sobolev <mail@sobolevn.me> Co-authored-by: Hugo van Kemenade <hugovk@users.noreply.github.com>