Skip to content

Actions: leanprover/verso

Actions

Prettier on PR Comment

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
prettier-pr-comment.yml
220 workflow runs
220 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: adopt upstream HTML syntax Prettier on PR Comment #220: Issue comment #987 (comment) created by Vtec234
1s
1s
chore: use upstream HTML type Prettier on PR Comment #219: Issue comment #974 (comment) created by Vtec234
1s
1s
chore: merge recent main changes in to nightly-testing Prettier on PR Comment #218: Issue comment #1011 (comment) created by david-christiansen
1s
1s
fix: remove well-foundedness lemmas that have been upstreamed Prettier on PR Comment #217: Issue comment #999 (comment) created by jcreedcmu
1s
1s
Fix guard msgs docstring Prettier on PR Comment #216: Issue comment #978 (comment) created by david-christiansen
7s
7s
fix: gracefully handle unknown -D options in verso-literate Prettier on PR Comment #215: Issue comment #969 (comment) created by david-christiansen
8s
8s
fix: remove well-foundedness lemmas that have been upstreamed Prettier on PR Comment #214: Issue comment #999 (comment) created by david-christiansen
1s
1s
perf: precompileLibrary Prettier on PR Comment #213: Issue comment #1000 (comment) created by leanprover-radar
Skipped
Skipped
perf: precompileLibrary Prettier on PR Comment #212: Issue comment #1000 (comment) created by Vtec234
1s
1s
fix: remove well-foundedness lemmas that have been upstreamed Prettier on PR Comment #211: Issue comment #999 (comment) created by jcreedcmu
2s
2s
fix: remove well-foundedness lemmas that have been upstreamed Prettier on PR Comment #210: Issue comment #999 (comment) created by jcreedcmu
2s
2s
chore: bump toolchain to v4.35.0-rc3 Prettier on PR Comment #209: Issue comment #998 (comment) created by Garmelon
1s
1s
Is it possible to make a blog with list of posts on frontpage Prettier on PR Comment #208: Issue comment #962 (comment) created by awalterschulze
10s
10s
feat: run Errata tests interactively in a widget Prettier on PR Comment #207: Issue comment #959 (comment) created by david-christiansen
1s
1s
feat: adopt upstream HTML syntax Prettier on PR Comment #206: Issue comment #987 (comment) created by Vtec234
1s
1s
feat: adopt upstream HTML syntax Prettier on PR Comment #205: Issue comment #987 (comment) created by david-christiansen
1s
1s
feat: adopt upstream HTML syntax Prettier on PR Comment #204: Issue comment #987 (comment) created by david-christiansen
1s
1s
feat: run Errata tests interactively in a widget Prettier on PR Comment #203: Issue comment #959 (comment) created by Vtec234
1s
1s
Is there an existing or planned HTML-to-Verso importer? Prettier on PR Comment #202: Issue comment #980 (comment) created by david-christiansen
1s
1s
chore: bump toolchain to v4.34.0 Prettier on PR Comment #201: Issue comment #984 (comment) created by Garmelon
1s
1s
chore: bump toolchain to v4.34.0 Prettier on PR Comment #200: Issue comment #984 (comment) created by Garmelon
1s
1s
feat: add the Errata test framework Prettier on PR Comment #199: Issue comment #956 (comment) created by david-christiansen
2s
2s
feat: add the Errata test framework Prettier on PR Comment #198: Issue comment #956 (comment) created by david-christiansen
1s
1s
feat: proper test framework Prettier on PR Comment #197: Issue comment #902 (comment) created by jcreedcmu
1s
1s
chore: use upstream HTML type Prettier on PR Comment #196: Issue comment #974 (comment) created by Vtec234
1s
1s