From 9eacdea62b4006398c976f02e4e0a6fa5af2fe63 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Thu, 20 Jul 2023 13:12:53 +0000 Subject: [PATCH] Bump pygments from 2.7.4 to 2.15.0 in /ci_scripts Bumps [pygments](https://github.com/pygments/pygments) from 2.7.4 to 2.15.0. - [Release notes](https://github.com/pygments/pygments/releases) - [Changelog](https://github.com/pygments/pygments/blob/master/CHANGES) - [Commits](https://github.com/pygments/pygments/compare/2.7.4...2.15.0) --- updated-dependencies: - dependency-name: pygments dependency-type: direct:production ... Signed-off-by: dependabot[bot] --- ci_scripts/docs-requirements.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ci_scripts/docs-requirements.txt b/ci_scripts/docs-requirements.txt index e30f83bffe..0fe8932565 100644 --- a/ci_scripts/docs-requirements.txt +++ b/ci_scripts/docs-requirements.txt @@ -4,4 +4,4 @@ sphinx==2.4.4 #FIXME: switch back to upstream sphinx-js when https://github.com/mozilla/sphinx-js/pull/135 is merged or the issue is fixed otherwise git+git://github.com/reuben/sphinx-js.git@a24775935443d21028ee4a7025a407c78030c4e7#egg=sphinx-js sphinx-rtd-theme==0.4.3 -pygments==2.7.4 +pygments==2.15.0