Skip to content

Actions: leanprover/verso

Actions

Format JS/CSS/HTML and Markdown

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ensure-format.yml
45 workflow runs
45 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

doc: Add changelog to users guide. (#708) Format JS/CSS/HTML and Markdown #45: Commit 133855d pushed by github-merge-queue bot
27s main
main
27s
fix: delete obsolete READMEs (#723) Format JS/CSS/HTML and Markdown #44: Commit f1fc1ec pushed by github-merge-queue bot
16s main
main
16s
doc: add README to test-projects directory (#722) Format JS/CSS/HTML and Markdown #43: Commit 348394e pushed by github-merge-queue bot
30s main
main
30s
fix: also move tutorials test file (#721) Format JS/CSS/HTML and Markdown #42: Commit 6227e5a pushed by github-merge-queue bot
16s main
main
16s
feat: soft breaking in PDF identifiers (#720) Format JS/CSS/HTML and Markdown #41: Commit eec24f1 pushed by github-merge-queue bot
28s main
main
28s
chore: update plausible dependency to v4.28.0-rc1 (#719) Format JS/CSS/HTML and Markdown #40: Commit 04598b6 pushed by github-merge-queue bot
16s main
main
16s
chore: bump to v4.28.0-rc1 (#718) Format JS/CSS/HTML and Markdown #39: Commit 7681e6e pushed by github-merge-queue bot
18s main
main
18s
fix: bugs in TeX output (#717) Format JS/CSS/HTML and Markdown #38: Commit 733e479 pushed by github-merge-queue bot
16s main
main
16s
chore: bump toolchain to v4.27.0 (#716) Format JS/CSS/HTML and Markdown #37: Commit 9137d01 pushed by github-merge-queue bot
15s main
main
15s
[PDF] increase feature coverage (#709) Format JS/CSS/HTML and Markdown #36: Commit 98f990a pushed by github-merge-queue bot
17s main
main
17s
fix: new page between ToC and pre-chapter content (#715) Format JS/CSS/HTML and Markdown #35: Commit 7bf9b30 pushed by github-merge-queue bot
17s main
main
17s
feat: split document by front and back matter in TeX (#714) Format JS/CSS/HTML and Markdown #34: Commit 6327265 pushed by github-merge-queue bot
14s main
main
14s
fix: escape URLs in TeX output rather than treating them as verbatim … Format JS/CSS/HTML and Markdown #33: Commit 3c5d4b1 pushed by github-merge-queue bot
15s main
main
15s
fix: easier access to remote link targets (#712) Format JS/CSS/HTML and Markdown #32: Commit a1cb904 pushed by github-merge-queue bot
15s main
main
15s
fix: small TeX rendering issues (#711) Format JS/CSS/HTML and Markdown #31: Commit 31cf223 pushed by github-merge-queue bot
19s main
main
19s
feat: extra files for TeX (#710) Format JS/CSS/HTML and Markdown #30: Commit 962af04 pushed by github-merge-queue bot
14s main
main
14s
fix: Lean blocks/inlines in TeX (#706) Format JS/CSS/HTML and Markdown #29: Commit b4150da pushed by github-merge-queue bot
15s main
main
15s
fix: tutorial example support for nightlies (#704) Format JS/CSS/HTML and Markdown #28: Commit dbe83a1 pushed by github-merge-queue bot
18s main
main
18s
feat: allow markup in tutorial summaries (#703) Format JS/CSS/HTML and Markdown #27: Commit 536cd09 pushed by github-merge-queue bot
15s main
main
15s
fix: include theme JS files in blog output (#702) Format JS/CSS/HTML and Markdown #26: Commit d46ba7b pushed by github-merge-queue bot
22s main
main
22s
fix: add trailing slash to tutorial links (#701) Format JS/CSS/HTML and Markdown #25: Commit 82eba5d pushed by github-merge-queue bot
55s main
main
55s
feat: tutorials genre (#600) Format JS/CSS/HTML and Markdown #24: Commit 142f6c8 pushed by github-merge-queue bot
16s main
main
16s
feat: inline element for Lean commands (#698) Format JS/CSS/HTML and Markdown #23: Commit 4abb984 pushed by github-merge-queue bot
16s main
main
16s
fix: Tiny typo in CssFile (#697) Format JS/CSS/HTML and Markdown #22: Commit 862ba94 pushed by github-merge-queue bot
13s main
main
13s
fix: trailing whitespace for syntax that contains trailing nulls (#696) Format JS/CSS/HTML and Markdown #21: Commit 3efce68 pushed by github-merge-queue bot
16s main
main
16s