From 56ac72ba1c18caa4057cc4cf33cca13ef13eb5b5 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Wed, 7 May 2025 11:47:05 +0000 Subject: [PATCH] chore(deps): bump clingo in /.github/workflows/requirements/style Bumps [clingo](https://github.com/potassco/clingo) from 5.7.1 to 5.8.0. - [Release notes](https://github.com/potassco/clingo/releases) - [Changelog](https://github.com/potassco/clingo/blob/master/CHANGES.md) - [Commits](https://github.com/potassco/clingo/compare/v5.7.1...v5.8.0) --- updated-dependencies: - dependency-name: clingo dependency-version: 5.8.0 dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] --- .github/workflows/requirements/style/requirements.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/requirements/style/requirements.txt b/.github/workflows/requirements/style/requirements.txt index 93ab7eaa7f78cf..6ce0f9bf17059e 100644 --- a/.github/workflows/requirements/style/requirements.txt +++ b/.github/workflows/requirements/style/requirements.txt @@ -1,5 +1,5 @@ black==24.10.0 -clingo==5.7.1 +clingo==5.8.0 flake8==7.1.1 isort==5.13.2 mypy==1.8.0