Skip to content

Actions: leanprover/verso

Actions

Check Code Formatting

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-format.yml
626 workflow runs
626 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
feat: For HTML output, add Table of Contents resize handle Check Code Formatting #629: Pull request #846 synchronize by richardlford
Action required richardlford:rlf-mods
richardlford:rlf-mods
Action required
chore: expand warning for the verso.code.warnLineLength linter Check Code Formatting #628: Pull request #858 synchronize by b-mehta
21s b-mehta:line-length-linter-message
b-mehta:line-length-linter-message
21s
fix: data handlers for Verso docstring extensions in literate mode Check Code Formatting #627: Pull request #859 synchronize by david-christiansen
17s literate-warn-on-missing
literate-warn-on-missing
17s
fix: data handlers for Verso docstring extensions in literate mode Check Code Formatting #626: Pull request #859 opened by david-christiansen
33m 3s literate-warn-on-missing
literate-warn-on-missing
33m 3s
chore: expand warning for the verso.code.warnLineLength linter Check Code Formatting #625: Pull request #858 opened by b-mehta
17s b-mehta:line-length-linter-message
b-mehta:line-length-linter-message
17s
feat: For HTML output, add Table of Contents resize handle Check Code Formatting #624: Pull request #846 synchronize by richardlford
Action required richardlford:rlf-mods
richardlford:rlf-mods
Action required
chore: bump idna from 3.11 to 3.15 in /browser-tests Check Code Formatting #623: Pull request #857 opened by dependabot Bot
19s dependabot/uv/browser-tests/idna-3.15
dependabot/uv/browser-tests/idna-3.15
19s
Check Code Formatting Check Code Formatting #622: Merge group checks requested
17s
17s
feat: diagrams Check Code Formatting #621: Pull request #856 synchronize by david-christiansen
18s illuminate-diagram
illuminate-diagram
18s
feat: diagrams Check Code Formatting #620: Pull request #856 synchronize by david-christiansen
13m 59s illuminate-diagram
illuminate-diagram
13m 59s
feat: diagrams Check Code Formatting #619: Pull request #856 synchronize by david-christiansen
34m 59s illuminate-diagram
illuminate-diagram
34m 59s
feat: diagrams Check Code Formatting #618: Pull request #856 synchronize by david-christiansen
16s illuminate-diagram
illuminate-diagram
16s
feat: diagrams Check Code Formatting #617: Pull request #856 synchronize by david-christiansen
16s illuminate-diagram
illuminate-diagram
16s
feat: For HTML output, add Table of Contents resize handle Check Code Formatting #616: Pull request #846 synchronize by richardlford
Action required richardlford:rlf-mods
richardlford:rlf-mods
Action required
Check Code Formatting Check Code Formatting #615: Merge group checks requested
17s
17s
feat: search page Check Code Formatting #614: Pull request #847 synchronize by robsimmons
16s search-page
search-page
16s
feat: search page Check Code Formatting #613: Pull request #847 synchronize by robsimmons
2m 5s search-page
search-page
2m 5s
feat: For HTML output, add Table of Contents resize handle Check Code Formatting #612: Pull request #846 synchronize by richardlford
Action required richardlford:rlf-mods
richardlford:rlf-mods
Action required
Check Code Formatting Check Code Formatting #611: Merge group checks requested
23s
23s
chore: bump urllib3 from 2.6.3 to 2.7.0 in /browser-tests Check Code Formatting #610: Pull request #855 opened by dependabot Bot
18s dependabot/uv/browser-tests/urllib3-2.7.0
dependabot/uv/browser-tests/urllib3-2.7.0
18s
perf: avoid re-exporting imported doc expanders Check Code Formatting #609: Pull request #854 opened by ejgallego
16s ejgallego:perf/manual-patch-test
ejgallego:perf/manual-patch-test
16s
feat: For HTML output, add Table of Contents resize handle Check Code Formatting #608: Pull request #846 synchronize by richardlford
Action required richardlford:rlf-mods
richardlford:rlf-mods
Action required
chore: bump to nightly-2026-05-01 Check Code Formatting #607: Pull request #853 synchronize by david-christiansen
15s bump-2026-05-01
bump-2026-05-01
15s
chore: bump to nightly-2026-05-01 Check Code Formatting #606: Pull request #853 opened by david-christiansen
24s bump-2026-05-01
bump-2026-05-01
24s
Check Code Formatting Check Code Formatting #605: Merge group checks requested
21s
21s