Skip to content

gitlint: ignore body lines that are footnotes #984

gitlint: ignore body lines that are footnotes

gitlint: ignore body lines that are footnotes #984

Triggered via pull request July 25, 2023 14:07
Status Success
Total duration 14m 30s
Artifacts

main.yml

on: pull_request
Fit to window
Zoom out
Zoom in