Skip to content

Actions: leanprover/verso

Actions

Check for trailing newlines

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
trailing-newlines.yml
968 workflow runs
968 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
Check for trailing newlines Check for trailing newlines #958: Merge group checks requested
9s
9s
chore: bump SubVerso Check for trailing newlines #957: Pull request #941 synchronize by Vtec234
9s subverso-bum
subverso-bum
9s
chore: bump toolchain to v4.33.0-rc2 Check for trailing newlines #956: Pull request #944 opened by Garmelon
14s bump-to-v4.33.0-rc2
bump-to-v4.33.0-rc2
14s
feat: re-enable precompileModules Check for trailing newlines #955: Pull request #943 opened by Vtec234
10s unorphan
unorphan
10s
feat: re-enable precompileModules Check for trailing newlines #954: Pull request #942 synchronize by Vtec234
10s unorphan
unorphan
10s
feat: re-enable precompileModules Check for trailing newlines #953: Pull request #942 synchronize by Vtec234
7s unorphan
unorphan
7s
feat: re-enable precompileModules Check for trailing newlines #952: Pull request #942 opened by Vtec234
8s unorphan
unorphan
8s
chore: bump SubVerso Check for trailing newlines #951: Pull request #941 opened by Vtec234
8s subverso-bum
subverso-bum
8s
Check for trailing newlines Check for trailing newlines #950: Merge group checks requested
8s
8s
Check for trailing newlines Check for trailing newlines #949: Merge group checks requested
11s
11s
Check for trailing newlines Check for trailing newlines #948: Merge group checks requested
8s
8s
chore: update SubVerso for further incremental rebuild improvements Check for trailing newlines #947: Pull request #940 opened by david-christiansen
8s subverso-bump-again
subverso-bump-again
8s
doc: fix "paramter" and "correponding" typos Check for trailing newlines #946: Pull request #939 opened by Chessing234
13s Chessing234:docs/typo-parameter-corresponding
Chessing234:docs/typo-parameter-corresponding
13s
fix: deduplicate auto-generated heading tags in freshTag Check for trailing newlines #944: Pull request #937 opened by Chessing234
Action required Chessing234:fix/freshTag-internal-dedup
Chessing234:fix/freshTag-internal-dedup
Action required
Check for trailing newlines Check for trailing newlines #942: Merge group checks requested
17s
17s
fix: downstream availability of glossary at compile time Check for trailing newlines #941: Pull request #935 opened by david-christiansen
17s publicmeta
publicmeta
17s
Check for trailing newlines Check for trailing newlines #940: Merge group checks requested
14s
14s
fix: always have #doc result in a public decl Check for trailing newlines #939: Pull request #934 opened by david-christiansen
11s public-doc
public-doc
11s
feat: produce one-sided LaTeX output by default Check for trailing newlines #938: Pull request #932 synchronize by medovina
12s medovina:onesided
medovina:onesided
12s
feat: produce one-sided LaTeX output by default Check for trailing newlines #937: Pull request #932 synchronize by medovina
8s medovina:onesided
medovina:onesided
8s
Check for trailing newlines Check for trailing newlines #936: Merge group checks requested
8s
8s
chore: bump SubVerso version for bug fix Check for trailing newlines #935: Pull request #933 opened by david-christiansen
7s bump-again
bump-again
7s
Check for trailing newlines Check for trailing newlines #934: Merge group checks requested
8s
8s
feat: produce one-sided LaTeX output by default Check for trailing newlines #933: Pull request #932 opened by medovina
11s medovina:onesided
medovina:onesided
11s
fix: preserve paragraphs in docstring boxes in TeX output (#918) Check for trailing newlines #932: Pull request #919 synchronize by medovina
12s medovina:docstringbox-paragraphs
medovina:docstringbox-paragraphs
12s