Skip to content

Produce better Misc/NEWS output for Sphinx #126

Produce better Misc/NEWS output for Sphinx

Produce better Misc/NEWS output for Sphinx #126

Triggered via pull request February 2, 2025 16:01
Status Success
Total duration 56s
Artifacts

lint.yml

on: pull_request
Fit to window
Zoom out
Zoom in