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
721 workflow runs
721 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
fix: prohibit duplicate envVar definitions Check Formatting of JS/CSS/HTML and Markdown #752: Pull request #963 opened by Vtec234
21s dup-envvar
dup-envvar
21s
doc: document vcgen and Std.WP Check Formatting of JS/CSS/HTML and Markdown #751: Pull request #927 synchronize by sgraf812
24s vcgen-docs-nightly
vcgen-docs-nightly
24s
doc: document vcgen and Std.WP Check Formatting of JS/CSS/HTML and Markdown #750: Pull request #927 synchronize by sgraf812
15s vcgen-docs-nightly
vcgen-docs-nightly
15s
doc: document vcgen and Std.WP Check Formatting of JS/CSS/HTML and Markdown #749: Pull request #927 synchronize by sgraf812
15s vcgen-docs-nightly
vcgen-docs-nightly
15s
chore: adapt to 2026-09-29 Check Formatting of JS/CSS/HTML and Markdown #748: Pull request #962 synchronize by david-christiansen
32s bump-2026-09-29
bump-2026-09-29
32s
chore: adapt to 2026-09-29 Check Formatting of JS/CSS/HTML and Markdown #747: Pull request #962 opened by david-christiansen
1m 47s bump-2026-09-29
bump-2026-09-29
1m 47s
doc: document vcgen and Std.WP Check Formatting of JS/CSS/HTML and Markdown #746: Pull request #927 synchronize by sgraf812
31s vcgen-docs-nightly
vcgen-docs-nightly
31s
doc: cover more of lake cache Check Formatting of JS/CSS/HTML and Markdown #745: Pull request #956 synchronize by tydeu
18s lake-cache-docs
lake-cache-docs
18s
chore: bump to nightly-2026-09-27 Check Formatting of JS/CSS/HTML and Markdown #744: Pull request #961 opened by david-christiansen
16s nightly-testing-2026-09-27
nightly-testing-2026-09-27
16s
doc: fix link to the extern interpreter example Check Formatting of JS/CSS/HTML and Markdown #743: Pull request #960 opened by fushanbobfan
18s fushanbobfan:extern-example-link
fushanbobfan:extern-example-link
18s
Check Formatting of JS/CSS/HTML and Markdown Check Formatting of JS/CSS/HTML and Markdown #742: Merge group checks requested
21s
21s
feat: describe the linters framework Check Formatting of JS/CSS/HTML and Markdown #741: Pull request #959 opened by david-christiansen
15s linter-framework
linter-framework
15s
Check Formatting of JS/CSS/HTML and Markdown Check Formatting of JS/CSS/HTML and Markdown #740: Merge group checks requested
28s
28s
chore: migrate manual meta to module system Check Formatting of JS/CSS/HTML and Markdown #739: Pull request #958 opened by david-christiansen
16s module-system-meta
module-system-meta
16s
refactor: split lake docs into focused modules Check Formatting of JS/CSS/HTML and Markdown #738: Pull request #952 synchronize by david-christiansen
13s lake-split-main
lake-split-main
13s
Check Formatting of JS/CSS/HTML and Markdown Check Formatting of JS/CSS/HTML and Markdown #737: Merge group checks requested
17s
17s
fix: rebuild elaboration-time tools before building the manual Check Formatting of JS/CSS/HTML and Markdown #736: Pull request #957 opened by david-christiansen
18s build-dep-fix
build-dep-fix
18s
Check Formatting of JS/CSS/HTML and Markdown Check Formatting of JS/CSS/HTML and Markdown #735: Merge group checks requested
19s
19s
chore: bump toolchain to v4.35.0-rc3 Check Formatting of JS/CSS/HTML and Markdown #734: Pull request #954 synchronize by Garmelon
21s bump-to-v4.35.0-rc3
bump-to-v4.35.0-rc3
21s
chore: bump toolchain to v4.35.0-rc3 Check Formatting of JS/CSS/HTML and Markdown #733: Pull request #954 opened by Garmelon
17s bump-to-v4.35.0-rc3
bump-to-v4.35.0-rc3
17s
Check Formatting of JS/CSS/HTML and Markdown Check Formatting of JS/CSS/HTML and Markdown #732: Merge group checks requested
20s
20s
chore: fix changelog wording Check Formatting of JS/CSS/HTML and Markdown #731: Pull request #953 opened by Garmelon
16s joscha/fix-changelog-wording
joscha/fix-changelog-wording
16s
refactor: split lake docs into focused modules Check Formatting of JS/CSS/HTML and Markdown #730: Pull request #952 opened by tydeu
31s lake-split-main
lake-split-main
31s
Check Formatting of JS/CSS/HTML and Markdown Check Formatting of JS/CSS/HTML and Markdown #729: Merge group checks requested
17s
17s
doc: add release notes for v4.34.1 Check Formatting of JS/CSS/HTML and Markdown #728: Pull request #951 opened by Garmelon
1m 24s joscha/release-notes-v4.34.1
joscha/release-notes-v4.34.1
1m 24s