Skip to content

Bump pygments from 2.13.0 to 2.15.0 in /docs #372

Bump pygments from 2.13.0 to 2.15.0 in /docs

Bump pygments from 2.13.0 to 2.15.0 in /docs #372

Triggered via pull request July 24, 2023 21:28
Status Success
Total duration 14s
Artifacts

pr-check.yml

on: pull_request
Files up-to-date
5s
Files up-to-date
Impact specified
3s
Impact specified
Fit to window
Zoom out
Zoom in