Skip to content

Actions: python/devguide

Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
498 workflow run results
498 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Mention sphinx-lint in the translation tools
Lint #252: Pull request #1230 opened by rffontenelle
November 18, 2023 17:57 21s rffontenelle:patch-2
November 18, 2023 17:57 21s
Add 'C API' to the style guide
Lint #243: Pull request #1222 synchronize by hugovk
November 18, 2023 13:33 20s hugovk:style-guide-c-api
November 18, 2023 13:33 20s
Add 'C API' to the style guide
Lint #241: Pull request #1222 synchronize by hugovk
November 18, 2023 13:25 19s hugovk:style-guide-c-api
November 18, 2023 13:25 19s
Add 'C API' to the style guide
Lint #238: Pull request #1222 opened by hugovk
November 18, 2023 11:39 24s hugovk:style-guide-c-api
November 18, 2023 11:39 24s
November 16, 2023 18:36 24s
Add -j auto to the Makefile.
Lint #233: Pull request #1220 opened by ezio-melotti
November 15, 2023 23:54 24s ezio-melotti:makefile-jauto
November 15, 2023 23:54 24s
Document 'make htmllive' (#1219)
Lint #232: Commit 339cb89 pushed by hugovk
November 15, 2023 18:19 23s main
November 15, 2023 18:19 23s
Document 'make htmllive'
Lint #231: Pull request #1219 synchronize by hugovk
November 15, 2023 12:34 37s hugovk:make-htmllive
November 15, 2023 12:34 37s
ProTip! You can narrow down the results and go further in time using created:<2023-11-15 or the other filters available.