Skip to content

Bump pygments from 2.13.0 to 2.15.0 in /tools/pytools #920

Bump pygments from 2.13.0 to 2.15.0 in /tools/pytools

Bump pygments from 2.13.0 to 2.15.0 in /tools/pytools #920

Triggered via pull request July 20, 2023 11:54
Status Success
Total duration 7m 37s
Artifacts

ci-precommit.yml

on: pull_request
Fit to window
Zoom out
Zoom in