Skip to content

Actions: leanprover/verso

Actions

Clean Dependabot PR descriptions

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
dependabot-clean-description.yml
173 workflow runs
173 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
chore: bump toolchain to v4.34.0-rc1 Clean Dependabot PR descriptions #176: Pull request #950 opened by Garmelon
1s bump-to-v4.34.0-rc1
bump-to-v4.34.0-rc1
1s
chore: install all subproject toolchains in CI explicitly Clean Dependabot PR descriptions #175: Pull request #949 opened by david-christiansen
1s ci-install
ci-install
1s
chore: bump toolchain to v4.33.0 Clean Dependabot PR descriptions #174: Pull request #948 opened by Garmelon
1s bump-to-v4.33.0
bump-to-v4.33.0
1s
chore: bump SubVerso Clean Dependabot PR descriptions #173: Pull request #947 opened by david-christiansen
7s bump-subverso-2026-08-09
bump-subverso-2026-08-09
7s
fix: don't run 'lake update subverso' in IO example projects Clean Dependabot PR descriptions #172: Pull request #945 opened by david-christiansen
1s no-update-
no-update-
1s
chore: bump toolchain to v4.33.0-rc2 Clean Dependabot PR descriptions #171: Pull request #944 opened by Garmelon
Skipped bump-to-v4.33.0-rc2
bump-to-v4.33.0-rc2
Skipped
feat: re-enable precompileModules Clean Dependabot PR descriptions #170: Pull request #943 opened by Vtec234
Skipped unorphan
unorphan
Skipped
feat: re-enable precompileModules Clean Dependabot PR descriptions #169: Pull request #942 opened by Vtec234
1s unorphan
unorphan
1s
chore: bump SubVerso Clean Dependabot PR descriptions #168: Pull request #941 opened by Vtec234
1s subverso-bum
subverso-bum
1s
chore: update SubVerso for further incremental rebuild improvements Clean Dependabot PR descriptions #167: Pull request #940 opened by david-christiansen
1s subverso-bump-again
subverso-bump-again
1s
doc: fix "paramter" and "correponding" typos Clean Dependabot PR descriptions #166: Pull request #939 opened by Chessing234
3s Chessing234:docs/typo-parameter-corresponding
Chessing234:docs/typo-parameter-corresponding
3s
fix: deduplicate auto-generated heading tags in freshTag Clean Dependabot PR descriptions #164: Pull request #937 opened by Chessing234
Action required Chessing234:fix/freshTag-internal-dedup
Chessing234:fix/freshTag-internal-dedup
Action required
fix: downstream availability of glossary at compile time Clean Dependabot PR descriptions #162: Pull request #935 opened by david-christiansen
9s publicmeta
publicmeta
9s
fix: always have #doc result in a public decl Clean Dependabot PR descriptions #161: Pull request #934 opened by david-christiansen
1s public-doc
public-doc
1s
chore: bump SubVerso version for bug fix Clean Dependabot PR descriptions #160: Pull request #933 opened by david-christiansen
1s bump-again
bump-again
1s
feat: produce one-sided LaTeX output by default Clean Dependabot PR descriptions #159: Pull request #932 opened by medovina
2s medovina:onesided
medovina:onesided
2s
chore: fix build warnings and bump SubVerso Clean Dependabot PR descriptions #158: Pull request #931 opened by david-christiansen
1s warnings-and-bump
warnings-and-bump
1s
chore: bump actions/setup-python from 6 to 7 Clean Dependabot PR descriptions #157: Pull request #930 opened by dependabot Bot
14s dependabot/github_actions/actions/setup-python-7
dependabot/github_actions/actions/setup-python-7
14s
chore: bump actions/setup-node from 6 to 7 Clean Dependabot PR descriptions #156: Pull request #928 opened by dependabot Bot
10s dependabot/github_actions/actions/setup-node-7
dependabot/github_actions/actions/setup-node-7
10s
chore: bump toolchain to v4.33.0-rc1 Clean Dependabot PR descriptions #155: Pull request #927 opened by Garmelon
1s bump-to-v4.33.0-rc1
bump-to-v4.33.0-rc1
1s
chore: add inkscape install to release-tag workflow Clean Dependabot PR descriptions #154: Pull request #926 opened by robsimmons
1s inkscape-release-tag
inkscape-release-tag
1s
chore: bump toolchain to v4.32.0 Clean Dependabot PR descriptions #153: Pull request #925 opened by Garmelon
8s bump-to-v4.32.0
bump-to-v4.32.0
8s
fix: do not include leading file contents in blog genre lean blocks as whitespace Clean Dependabot PR descriptions #152: Pull request #924 opened by whxvd
1s whxvd:fix-blog-lean-block-parsing
whxvd:fix-blog-lean-block-parsing
1s
fix: preserve paragraphs in docstring boxes in TeX output (#918) Clean Dependabot PR descriptions #151: Pull request #919 opened by medovina
10s medovina:docstringbox-paragraphs
medovina:docstringbox-paragraphs
10s
fix: include reference text in TeX output Clean Dependabot PR descriptions #150: Pull request #917 opened by medovina
3s medovina:ref-text
medovina:ref-text
3s