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
527 workflow runs
527 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 #558: Merge group checks requested
19s
19s
fix: dfa example typo Check Formatting of JS/CSS/HTML and Markdown #557: Pull request #877 opened by robsimmons
14s dfa-typo
dfa-typo
14s
fix: adapt to module system, now 'public section' prints Check Formatting of JS/CSS/HTML and Markdown #556: Pull request #876 opened by robsimmons
19s bump-2026-06-25-e
bump-2026-06-25-e
19s
feat: add more tactic examples and documentation Check Formatting of JS/CSS/HTML and Markdown #555: Pull request #843 synchronize by jcreedcmu
37s jcreedcmu:jcreed/tactics
jcreedcmu:jcreed/tactics
37s
Check Formatting of JS/CSS/HTML and Markdown Check Formatting of JS/CSS/HTML and Markdown #554: Merge group checks requested
27s
27s
fix: improve new Float content based on feedback from Julia Check Formatting of JS/CSS/HTML and Markdown #553: Pull request #875 opened by david-christiansen
20s float-improvement-nightly
float-improvement-nightly
20s
chore: merge main into 2026-06-25 nightly again Check Formatting of JS/CSS/HTML and Markdown #552: Pull request #874 synchronize by robsimmons
19s bump-2026-06-25-d
bump-2026-06-25-d
19s
chore: merge main into 2026-06-25 nightly again Check Formatting of JS/CSS/HTML and Markdown #551: Pull request #874 opened by robsimmons
18s bump-2026-06-25-d
bump-2026-06-25-d
18s
chore: merge main into 2026-06-25 nightly Check Formatting of JS/CSS/HTML and Markdown #550: Pull request #873 opened by robsimmons
19s bump-2026-06-25-b
bump-2026-06-25-b
19s
chore: document ir.sig, update module system reference Check Formatting of JS/CSS/HTML and Markdown #549: Pull request #872 opened by robsimmons
41s bump-2026-06-25
bump-2026-06-25
41s
doc: fix typo in Inductive Types Check Formatting of JS/CSS/HTML and Markdown #548: Pull request #871 opened by ia0
19s ia0:typo
ia0:typo
19s
Check Formatting of JS/CSS/HTML and Markdown Check Formatting of JS/CSS/HTML and Markdown #547: Merge group checks requested
15s
15s
chore: merge main and update to nightly-2026-06-22 Check Formatting of JS/CSS/HTML and Markdown #546: Pull request #870 opened by david-christiansen
15s nightly-testing-2026-06-22
nightly-testing-2026-06-22
15s
doc: fix typo in Inductive Types Check Formatting of JS/CSS/HTML and Markdown #545: Pull request #869 opened by ia0
18s ia0:typo
ia0:typo
18s
Check Formatting of JS/CSS/HTML and Markdown Check Formatting of JS/CSS/HTML and Markdown #544: Merge group checks requested
14s
14s
feat: tighten inductive FFI description Check Formatting of JS/CSS/HTML and Markdown #543: Pull request #863 synchronize by david-christiansen
23s push-kwpruqwrqpxp
push-kwpruqwrqpxp
23s
feat: tighten inductive FFI description Check Formatting of JS/CSS/HTML and Markdown #542: Pull request #863 synchronize by david-christiansen
16s push-kwpruqwrqpxp
push-kwpruqwrqpxp
16s
feat: tighten inductive FFI description Check Formatting of JS/CSS/HTML and Markdown #541: Pull request #863 synchronize by david-christiansen
21s push-kwpruqwrqpxp
push-kwpruqwrqpxp
21s
feat: tighten inductive FFI description Check Formatting of JS/CSS/HTML and Markdown #540: Pull request #863 synchronize by david-christiansen
15s push-kwpruqwrqpxp
push-kwpruqwrqpxp
15s
feat: describe Async Check Formatting of JS/CSS/HTML and Markdown #539: Pull request #866 synchronize by david-christiansen
17s async-monad
async-monad
17s
Check Formatting of JS/CSS/HTML and Markdown Check Formatting of JS/CSS/HTML and Markdown #538: Merge group checks requested
14s
14s
chore: bump toolchain to v4.32.0-rc1 Check Formatting of JS/CSS/HTML and Markdown #537: Pull request #867 synchronize by david-christiansen
16s bump-to-v4.32.0-rc1
bump-to-v4.32.0-rc1
16s
chore: bump toolchain to v4.32.0-rc1 Check Formatting of JS/CSS/HTML and Markdown #536: Pull request #867 synchronize by david-christiansen
17s bump-to-v4.32.0-rc1
bump-to-v4.32.0-rc1
17s
feat: grind interactive Check Formatting of JS/CSS/HTML and Markdown #535: Pull request #868 opened by david-christiansen
16s grind-interactive
grind-interactive
16s
chore: bump toolchain to v4.32.0-rc1 Check Formatting of JS/CSS/HTML and Markdown #534: Pull request #867 synchronize by Garmelon
18s bump-to-v4.32.0-rc1
bump-to-v4.32.0-rc1
18s