Clean Dependabot PR descriptions · Workflow runs · leanprover/verso · GitHub

Actions

All workflows
Workflows
- Merge main to nightly Merge main to nightly
- Update nightly-testing Update nightly-testing
- All test modules imported All test modules imported
- Apply Overlays Apply Overlays
- Check Code Formatting Check Code Formatting
- Check for copyright header and too-big Lean imports Check for copyright header and too-big Lean imports
- Check for trailing newlines Check for trailing newlines
- Check PR title follows commit convention Check PR title follows commit convention
- Check toolchain file Check toolchain file
- Clean Dependabot PR descriptions Clean Dependabot PR descriptions
Management
- Caches
- Deployments

Clean Dependabot PR descriptions

Actions

Loading...
Loading

dependabot-clean-description.yml

101 workflow runs

101 workflow runs

chore: bump toolchain to v4.31.0-rc1 Clean Dependabot PR descriptions #102: Pull request #864 opened by Garmelon

1s bump-to-v4.31.0-rc1

bump-to-v4.31.0-rc1

1s

feat: color themes Clean Dependabot PR descriptions #101: Pull request #863 opened by david-christiansen

3s themes

themes

3s

refactor: handle error and warning logs consistently Clean Dependabot PR descriptions #100: Pull request #862 opened by david-christiansen

1s error-refactor

error-refactor

1s

fix: some search results had absolute instead of relative URLs Clean Dependabot PR descriptions #99: Pull request #861 opened by david-christiansen

2s search-abs-url

search-abs-url

2s

chore: bump toolchain to v4.30.0 Clean Dependabot PR descriptions #98: Pull request #860 opened by Garmelon

1s bump-to-v4.30.0

bump-to-v4.30.0

1s

fix: data handlers for Verso docstring extensions in literate mode Clean Dependabot PR descriptions #97: Pull request #859 opened by david-christiansen

1s literate-warn-on-missing

literate-warn-on-missing

1s

chore: expand warning for the verso.code.warnLineLength linter Clean Dependabot PR descriptions #96: Pull request #858 opened by b-mehta

1s b-mehta:line-length-linter-message

b-mehta:line-length-linter-message

1s

chore: bump idna from 3.11 to 3.15 in /browser-tests Clean Dependabot PR descriptions #95: Pull request #857 opened by dependabot Bot

8s dependabot/uv/browser-tests/idna-3.15

dependabot/uv/browser-tests/idna-3.15

8s

chore: bump urllib3 from 2.6.3 to 2.7.0 in /browser-tests Clean Dependabot PR descriptions #94: Pull request #855 opened by dependabot Bot

11s dependabot/uv/browser-tests/urllib3-2.7.0

dependabot/uv/browser-tests/urllib3-2.7.0

11s

perf: avoid re-exporting imported doc expanders Clean Dependabot PR descriptions #93: Pull request #854 opened by ejgallego

1s ejgallego:perf/manual-patch-test

ejgallego:perf/manual-patch-test

1s

chore: bump to nightly-2026-05-01 Clean Dependabot PR descriptions #92: Pull request #853 opened by david-christiansen

2s bump-2026-05-01

bump-2026-05-01

2s

chore: add website to README Clean Dependabot PR descriptions #91: Pull request #851 opened by david-christiansen

1s website-readme

website-readme

1s

fix: remove auto-format action and fix Python formatting Clean Dependabot PR descriptions #90: Pull request #850 opened by david-christiansen

1s ruff-fix

ruff-fix

1s

chore: bump dawidd6/action-download-artifact from 20 to 21 Clean Dependabot PR descriptions #89: Pull request #849 opened by dependabot Bot

18s dependabot/github_actions/dawidd6/action-download-artifact-21

dependabot/github_actions/dawidd6/action-download-artifact-21

18s

chore: bump actions/github-script from 8 to 9 Clean Dependabot PR descriptions #88: Pull request #848 opened by dependabot Bot

9s dependabot/github_actions/actions/github-script-9

dependabot/github_actions/actions/github-script-9

9s

feat: search page Clean Dependabot PR descriptions #87: Pull request #847 opened by david-christiansen

10s search-page

search-page

10s

feat: For HTML output, add Table of Contents resize handle Clean Dependabot PR descriptions #86: Pull request #846 opened by richardlford

2s richardlford:rlf-mods

richardlford:rlf-mods

2s

feat: customizable search priorities Clean Dependabot PR descriptions #85: Pull request #844 opened by david-christiansen

1s search-priorities

search-priorities

1s

fix: linter activation Clean Dependabot PR descriptions #84: Pull request #843 opened by david-christiansen

1s linter-fixes

linter-fixes

1s

chore: bump toolchain to v4.30.0-rc2 Clean Dependabot PR descriptions #83: Pull request #841 opened by Garmelon

1s bump-to-v4.30.0-rc2

bump-to-v4.30.0-rc2

1s

chore: bump actions/github-script from 8 to 9 Clean Dependabot PR descriptions #82: Pull request #839 opened by dependabot Bot

11s dependabot/github_actions/actions/github-script-9

dependabot/github_actions/actions/github-script-9

11s

chore: format Python Clean Dependabot PR descriptions #81: Pull request #838 opened by david-christiansen

1s fmt-py

fmt-py

1s

chore: merge main to nightly Clean Dependabot PR descriptions #80: Pull request #837 opened by david-christiansen

1s merge-main-to-nightly

merge-main-to-nightly

1s

chore: bump pytest from 8.4.2 to 9.0.3 in /browser-tests Clean Dependabot PR descriptions #79: Pull request #836 opened by dependabot Bot

10s dependabot/uv/browser-tests/pytest-9.0.3

dependabot/uv/browser-tests/pytest-9.0.3

10s

chore: bump SubVerso Clean Dependabot PR descriptions #77: Pull request #833 opened by david-christiansen

1s bump-subverso-2026-04-11-slowness

bump-subverso-2026-04-11-slowness

1s