Check for trailing newlines · 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

Check for trailing newlines

Actions

Loading...
Loading

trailing-newlines.yml

1,218 workflow runs

1,218 workflow runs

fix: join include_bin_dir names with / on every platform Check for trailing newlines #1233: Pull request #1021 opened by fushanbobfan

Action required fushanbobfan:include-bin-dir-separator

fushanbobfan:include-bin-dir-separator

Action required

Check for trailing newlines Check for trailing newlines #1232: Merge group checks requested

34s

34s

chore: bump SubVerso and Plausible to latest versions Check for trailing newlines #1231: Pull request #1020 synchronize by david-christiansen

1m 26s bump-2026-10-02

bump-2026-10-02

1m 26s

chore: bump SubVerso and Plausible to latest versions Check for trailing newlines #1230: Pull request #1020 opened by david-christiansen

54s bump-2026-10-02

bump-2026-10-02

54s

Check for trailing newlines Check for trailing newlines #1229: Merge group checks requested

11s

11s

Check for trailing newlines Check for trailing newlines #1228: Merge group checks requested

7s

7s

refactor: expose the recovery step of the block command parser Check for trailing newlines #1227: Pull request #1019 opened by david-christiansen

7s incr-parse-pos-fix

incr-parse-pos-fix

7s

Check for trailing newlines Check for trailing newlines #1226: Merge group checks requested

8s

8s

test: lint the grind attributes for instantiation blowup Check for trailing newlines #1225: Pull request #1018 opened by david-christiansen

8s grind-lint-test

grind-lint-test

8s

chore: bump urllib3 from 2.7.0 to 2.8.0 in /browser-tests Check for trailing newlines #1224: Pull request #1017 opened by dependabot Bot

10s dependabot/uv/browser-tests/urllib3-2.8.0

dependabot/uv/browser-tests/urllib3-2.8.0

10s

Check for trailing newlines Check for trailing newlines #1223: Merge group checks requested

11s

11s

Check for trailing newlines Check for trailing newlines #1222: Merge group checks requested

8s

8s

fix: keep a block's partial syntax when it has a parse error Check for trailing newlines #1221: Pull request #1016 opened by david-christiansen

8s recovered-block-syntax-fix

recovered-block-syntax-fix

8s

chore: remove blog example subprojects Check for trailing newlines #1220: Pull request #1015 synchronize by david-christiansen

10s remove-subverso-examples

remove-subverso-examples

10s

chore: remove blog example subprojects Check for trailing newlines #1219: Pull request #1015 opened by david-christiansen

8s remove-subverso-examples

remove-subverso-examples

8s

chore: use upstream HTML type Check for trailing newlines #1218: Pull request #974 synchronize by Vtec234

8s adapt-html-type

adapt-html-type

8s

Check for trailing newlines Check for trailing newlines #1217: Merge group checks requested

10s

10s

feat: resolve links and footnotes through document reconstruction Check for trailing newlines #1216: Pull request #1014 synchronize by david-christiansen

10s footnote-reconstruction

footnote-reconstruction

10s

feat: resolve links and footnotes through document reconstruction Check for trailing newlines #1215: Pull request #1014 opened by david-christiansen

10s footnote-reconstruction

footnote-reconstruction

10s

Check for trailing newlines Check for trailing newlines #1214: Merge group checks requested

9s

9s

Check for trailing newlines Check for trailing newlines #1213: Merge group checks requested

10s

10s

fix: commit earlier to blockquote parser Check for trailing newlines #1212: Pull request #1013 opened by david-christiansen

9s blockquote-fixes

blockquote-fixes

9s

Check for trailing newlines Check for trailing newlines #1211: Merge group checks requested

9s

9s

fix: output Errata runner messages incrementally Check for trailing newlines #1210: Pull request #1012 synchronize by david-christiansen

10s incr-runner

incr-runner

10s

fix: output Errata runner messages incrementally Check for trailing newlines #1209: Pull request #1012 reopened by david-christiansen

8s incr-runner

incr-runner

8s