Skip to content

Actions: leanprover/verso

Actions

Check for copyright header and too-big Lean imports

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
copyright-header.yml
1,529 workflow runs
1,529 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 copyright header and too-big Lean imports Check for copyright header and too-big Lean imports #2077: Merge group checks requested
13s
13s
chore: bump SubVerso Check for copyright header and too-big Lean imports #2076: Pull request #941 synchronize by Vtec234
8s subverso-bum
subverso-bum
8s
chore: bump toolchain to v4.33.0-rc2 Check for copyright header and too-big Lean imports #2075: 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 copyright header and too-big Lean imports #2074: Pull request #943 opened by Vtec234
7s unorphan
unorphan
7s
feat: re-enable precompileModules Check for copyright header and too-big Lean imports #2073: Pull request #942 synchronize by Vtec234
9s unorphan
unorphan
9s
feat: re-enable precompileModules Check for copyright header and too-big Lean imports #2072: Pull request #942 synchronize by Vtec234
8s unorphan
unorphan
8s
feat: re-enable precompileModules Check for copyright header and too-big Lean imports #2071: Pull request #942 opened by Vtec234
17s unorphan
unorphan
17s
chore: bump SubVerso Check for copyright header and too-big Lean imports #2070: Pull request #941 opened by Vtec234
11s subverso-bum
subverso-bum
11s
Check for copyright header and too-big Lean imports Check for copyright header and too-big Lean imports #2069: Merge group checks requested
23s
23s
Check for copyright header and too-big Lean imports Check for copyright header and too-big Lean imports #2068: Merge group checks requested
9s
9s
Check for copyright header and too-big Lean imports Check for copyright header and too-big Lean imports #2067: Merge group checks requested
6s
6s
chore: update SubVerso for further incremental rebuild improvements Check for copyright header and too-big Lean imports #2066: Pull request #940 opened by david-christiansen
16s subverso-bump-again
subverso-bump-again
16s
doc: fix "paramter" and "correponding" typos Check for copyright header and too-big Lean imports #2065: Pull request #939 opened by Chessing234
11s Chessing234:docs/typo-parameter-corresponding
Chessing234:docs/typo-parameter-corresponding
11s
fix: deduplicate auto-generated heading tags in freshTag Check for copyright header and too-big Lean imports #2063: Pull request #937 opened by Chessing234
Action required Chessing234:fix/freshTag-internal-dedup
Chessing234:fix/freshTag-internal-dedup
Action required
Check for copyright header and too-big Lean imports Check for copyright header and too-big Lean imports #2061: Merge group checks requested
10s
10s
fix: downstream availability of glossary at compile time Check for copyright header and too-big Lean imports #2060: Pull request #935 opened by david-christiansen
16s publicmeta
publicmeta
16s
Check for copyright header and too-big Lean imports Check for copyright header and too-big Lean imports #2059: Merge group checks requested
7s
7s
fix: always have #doc result in a public decl Check for copyright header and too-big Lean imports #2058: Pull request #934 opened by david-christiansen
11s public-doc
public-doc
11s
feat: produce one-sided LaTeX output by default Check for copyright header and too-big Lean imports #2057: Pull request #932 synchronize by medovina
13s medovina:onesided
medovina:onesided
13s
feat: produce one-sided LaTeX output by default Check for copyright header and too-big Lean imports #2056: Pull request #932 synchronize by medovina
10s medovina:onesided
medovina:onesided
10s
Check for copyright header and too-big Lean imports Check for copyright header and too-big Lean imports #2055: Merge group checks requested
10s
10s
chore: bump SubVerso version for bug fix Check for copyright header and too-big Lean imports #2054: Pull request #933 opened by david-christiansen
9s bump-again
bump-again
9s
Check for copyright header and too-big Lean imports Check for copyright header and too-big Lean imports #2053: Merge group checks requested
9s
9s
feat: produce one-sided LaTeX output by default Check for copyright header and too-big Lean imports #2052: Pull request #932 opened by medovina
10s medovina:onesided
medovina:onesided
10s
fix: preserve paragraphs in docstring boxes in TeX output (#918) Check for copyright header and too-big Lean imports #2051: Pull request #919 synchronize by medovina
12s medovina:docstringbox-paragraphs
medovina:docstringbox-paragraphs
12s