Skip to content

Actions: leanprover/reference-manual

Actions

Check Formatting of JS/CSS/HTML and Markdown

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-format.yml
412 workflow runs
412 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
Check Formatting of JS/CSS/HTML and Markdown Check Formatting of JS/CSS/HTML and Markdown #426: Merge group checks requested
19s
19s
doc: clarify what checks honest library authors must do Check Formatting of JS/CSS/HTML and Markdown #425: Pull request #849 synchronize by OrfeasLitos
7m 17s OrfeasLitos:other-authors-trust
OrfeasLitos:other-authors-trust
7m 17s
doc: clarify what checks honest library authors must do Check Formatting of JS/CSS/HTML and Markdown #424: Pull request #849 opened by OrfeasLitos
22s OrfeasLitos:other-authors-trust
OrfeasLitos:other-authors-trust
22s
Clarify trust requirements on kernel Check Formatting of JS/CSS/HTML and Markdown #423: Pull request #847 opened by OrfeasLitos
Action required OrfeasLitos:trusted-base
OrfeasLitos:trusted-base
Action required
I integrated Violetta's highlights manually. Check Formatting of JS/CSS/HTML and Markdown #422: Pull request #846 synchronize by bigmac0
Action required bigmac0:bigmac0-highlights
bigmac0:bigmac0-highlights
Action required
I integrated Violetta's highlights manually. Check Formatting of JS/CSS/HTML and Markdown #421: Pull request #846 synchronize by bigmac0
Action required bigmac0:bigmac0-highlights
bigmac0:bigmac0-highlights
Action required
I integrated Violetta's highlights manually. Check Formatting of JS/CSS/HTML and Markdown #420: Pull request #846 synchronize by bigmac0
Action required bigmac0:bigmac0-highlights
bigmac0:bigmac0-highlights
Action required
chore: bump to nightly-2026-05-06 Check Formatting of JS/CSS/HTML and Markdown #419: Pull request #845 opened by david-christiansen
17s bump-2026-05-06
bump-2026-05-06
17s
chore: bump to nightly-2026-05-01 Check Formatting of JS/CSS/HTML and Markdown #418: Pull request #844 opened by david-christiansen
16s bump-2026-05-01
bump-2026-05-01
16s
feat: add more tactic examples and documentation Check Formatting of JS/CSS/HTML and Markdown #417: Pull request #843 opened by jcreedcmu
24s jcreedcmu:jcreed/tactics
jcreedcmu:jcreed/tactics
24s
Check Formatting of JS/CSS/HTML and Markdown Check Formatting of JS/CSS/HTML and Markdown #415: Merge group checks requested
26s
26s
doc: swap sides of equality in grind Check Formatting of JS/CSS/HTML and Markdown #414: Pull request #841 opened by robsimmons
20s update-adomani-patch-2
update-adomani-patch-2
20s
doc: list reducibility levels from most to least restrictive Check Formatting of JS/CSS/HTML and Markdown #413: Pull request #840 opened by kim-em
19s kim-em:doc-reorder-reducibility
kim-em:doc-reorder-reducibility
19s
feat: incorporate upstream search page Check Formatting of JS/CSS/HTML and Markdown #412: Pull request #839 synchronize by david-christiansen
22s search-page
search-page
22s
feat: incorporate upstream search page Check Formatting of JS/CSS/HTML and Markdown #411: Pull request #839 synchronize by david-christiansen
17s search-page
search-page
17s
feat: incorporate upstream search page Check Formatting of JS/CSS/HTML and Markdown #410: Pull request #839 synchronize by david-christiansen
15s search-page
search-page
15s
feat: incorporate upstream search page Check Formatting of JS/CSS/HTML and Markdown #409: Pull request #839 synchronize by david-christiansen
16s search-page
search-page
16s
feat: incorporate upstream search page Check Formatting of JS/CSS/HTML and Markdown #408: Pull request #839 opened by david-christiansen
19s search-page
search-page
19s
Update Defs.lean: correct description of opaque Check Formatting of JS/CSS/HTML and Markdown #407: Pull request #838 opened by safinaskar
Action required safinaskar:patch-1
safinaskar:patch-1
Action required
Check Formatting of JS/CSS/HTML and Markdown Check Formatting of JS/CSS/HTML and Markdown #406: Merge group checks requested
17s
17s
feat: search priorities Check Formatting of JS/CSS/HTML and Markdown #405: Pull request #837 synchronize by david-christiansen
21s search-priorities
search-priorities
21s
feat: search priorities Check Formatting of JS/CSS/HTML and Markdown #404: Pull request #837 opened by david-christiansen
41s search-priorities
search-priorities
41s
chore: add v4.30.0 release notes highlights Check Formatting of JS/CSS/HTML and Markdown #403: Pull request #836 opened by Garmelon
19s highlights-v4.30.0
highlights-v4.30.0
19s
Check Formatting of JS/CSS/HTML and Markdown Check Formatting of JS/CSS/HTML and Markdown #402: Merge group checks requested
18s
18s
chore: bump toolchain to v4.30.0-rc2 Check Formatting of JS/CSS/HTML and Markdown #401: Pull request #835 opened by Garmelon
18s bump-to-v4.30.0-rc2
bump-to-v4.30.0-rc2
18s