Skip to content

Actions: leanprover/reference-manual

Actions

Check for copyright headers

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
copyright-header.yml
1,158 workflow runs
1,158 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 headers Check for copyright headers #2033: Merge group checks requested
10s
10s
chore: bump toolchain to v4.35.0-rc2 Check for copyright headers #2032: Pull request #946 synchronize by Garmelon
8s bump-to-v4.35.0-rc2
bump-to-v4.35.0-rc2
8s
chore: bump toolchain to v4.35.0-rc2 Check for copyright headers #2031: Pull request #946 opened by Garmelon
9s bump-to-v4.35.0-rc2
bump-to-v4.35.0-rc2
9s
Check for copyright headers Check for copyright headers #2030: Merge group checks requested
8s
8s
chore: bump toolchain to v4.35.0-rc1 Check for copyright headers #2029: Pull request #945 synchronize by david-christiansen
8s bump-to-v4.35.0-rc1
bump-to-v4.35.0-rc1
8s
chore: bump toolchain to v4.35.0-rc1 Check for copyright headers #2028: Pull request #945 synchronize by Garmelon
9s bump-to-v4.35.0-rc1
bump-to-v4.35.0-rc1
9s
Check for copyright headers Check for copyright headers #2027: Merge group checks requested
9s
9s
fix: work around vale install issues and update version Check for copyright headers #2026: Pull request #944 opened by david-christiansen
8s vale-fix
vale-fix
8s
chore: bump to 2026-09-15 Check for copyright headers #2025: Pull request #943 synchronize by david-christiansen
8s bump-2026-09-15
bump-2026-09-15
8s
chore: bump to 2026-09-15 Check for copyright headers #2024: Pull request #943 synchronize by david-christiansen
8s bump-2026-09-15
bump-2026-09-15
8s
chore: bump to 2026-09-15 Check for copyright headers #2023: Pull request #943 opened by david-christiansen
9s bump-2026-09-15
bump-2026-09-15
9s
chore: bump to nightly-2026-09-14 Check for copyright headers #2022: Pull request #942 synchronize by david-christiansen
7s bump-2026-09-14
bump-2026-09-14
7s
chore: bump to nightly-2026-09-14 Check for copyright headers #2021: Pull request #942 synchronize by david-christiansen
14s bump-2026-09-14
bump-2026-09-14
14s
chore: bump to nightly-2026-09-14 Check for copyright headers #2020: Pull request #942 opened by david-christiansen
10s bump-2026-09-14
bump-2026-09-14
10s
Check for copyright headers Check for copyright headers #2019: Merge group checks requested
9s
9s
chore: bump toolchain to v4.34.0 Check for copyright headers #2018: Pull request #941 opened by Garmelon
9s bump-to-v4.34.0
bump-to-v4.34.0
9s
Check for copyright headers Check for copyright headers #2017: Merge group checks requested
11s
11s
chore: bump to nightly-2026-09-12 Check for copyright headers #2016: Pull request #940 synchronize by david-christiansen
10s bump-2026-09-12
bump-2026-09-12
10s
chore: bump to nightly-2026-09-12 Check for copyright headers #2015: Pull request #940 opened by david-christiansen
10s bump-2026-09-12
bump-2026-09-12
10s
Check for copyright headers Check for copyright headers #2014: Merge group checks requested
11s
11s
doc: add lake samply command documentation Check for copyright headers #2013: Pull request #817 synchronize by kim-em
8s doc-lake-profile
doc-lake-profile
8s
Check for copyright headers Check for copyright headers #2012: Merge group checks requested
7s
7s
chore: remove lean-pr-testing-* and nightly-with-manual infrastructure Check for copyright headers #2011: Pull request #939 synchronize by Garmelon
12s joscha/remove-lean-pr-testing-infra
joscha/remove-lean-pr-testing-infra
12s
chore: remove lean-pr-testing-* and nightly-with-manual infrastructure Check for copyright headers #2010: Pull request #939 opened by Garmelon
8s joscha/remove-lean-pr-testing-infra
joscha/remove-lean-pr-testing-infra
8s
chore: bump to nightly-2026-09-06 Check for copyright headers #2009: Pull request #938 opened by david-christiansen
46m 58s bump-2026-09-06
bump-2026-09-06
46m 58s