From 4442dfca36c5d6c2f6bfd21f97920879d57e4c72 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Fri, 22 Dec 2023 08:53:54 +0000 Subject: [PATCH] build(deps): bump mypy from 1.7.1 to 1.8.0 in /.github/workflows/style Bumps [mypy](https://github.com/python/mypy) from 1.7.1 to 1.8.0. - [Changelog](https://github.com/python/mypy/blob/master/CHANGELOG.md) - [Commits](https://github.com/python/mypy/compare/v1.7.1...v1.8.0) --- updated-dependencies: - dependency-name: mypy dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] --- .github/workflows/style/requirements.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/style/requirements.txt b/.github/workflows/style/requirements.txt index 531537cea1d8c2..1f59a22f136b53 100644 --- a/.github/workflows/style/requirements.txt +++ b/.github/workflows/style/requirements.txt @@ -2,6 +2,6 @@ black==23.11.0 clingo==5.6.2 flake8==6.1.0 isort==5.12.0 -mypy==1.7.1 +mypy==1.8.0 types-six==1.16.21.9 vermin==1.6.0