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,354 workflow runs
1,354 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: bump toolchain to v4.29.0-rc2 Check for copyright headers #1566: Pull request #789 synchronize by kim-em
10s bump_to_v4.29.0-rc2
bump_to_v4.29.0-rc2
10s
chore: bump toolchain to v4.29.0-rc2 Check for copyright headers #1565: Pull request #789 opened by kim-em
8s bump_to_v4.29.0-rc2
bump_to_v4.29.0-rc2
8s
chore: bump to nightly-2025-02-23 Check for copyright headers #1564: Pull request #788 opened by david-christiansen
13s bump-2026-02-23
bump-2026-02-23
13s
Check for copyright headers Check for copyright headers #1563: Merge group checks requested
9s
9s
feat: add highlights for v4.28 Check for copyright headers #1562: Pull request #785 synchronize by viol37
8s viol37:v4.28-highlights
viol37:v4.28-highlights
8s
feat: add highlights for v4.28 Check for copyright headers #1561: Pull request #785 synchronize by viol37
9s viol37:v4.28-highlights
viol37:v4.28-highlights
9s
Check for copyright headers Check for copyright headers #1560: Merge group checks requested
10s
10s
fix: improve WPMonad proofs in VCGen tutorial Check for copyright headers #1559: Pull request #786 synchronize by david-christiansen
12s sg/update-tutorial
sg/update-tutorial
12s
chore: bump to 2025-02-20 Check for copyright headers #1558: Pull request #787 opened by david-christiansen
10s bump-2026-02-20
bump-2026-02-20
10s
fix: improve WPMonad proofs in VCGen tutorial Check for copyright headers #1557: Pull request #786 synchronize by sgraf812
11m 57s sg/update-tutorial
sg/update-tutorial
11m 57s
fix: improve WPMonad proofs in VCGen tutorial Check for copyright headers #1556: Pull request #786 synchronize by sgraf812
12m 53s sg/update-tutorial
sg/update-tutorial
12m 53s
fix: improve WPMonad proofs in VCGen tutorial Check for copyright headers #1555: Pull request #786 opened by sgraf812
19m 55s sg/update-tutorial
sg/update-tutorial
19m 55s
feat: add highlights for v4.28 Check for copyright headers #1554: Pull request #785 opened by viol37
12s viol37:v4.28-highlights
viol37:v4.28-highlights
12s
Check for copyright headers Check for copyright headers #1553: Merge group checks requested
8s
8s
chore: bump toolchain to v4.29.0-rc1 Check for copyright headers #1552: Pull request #784 synchronize by kim-em
11s bump_to_v4.29.0-rc1
bump_to_v4.29.0-rc1
11s
chore: bump toolchain to v4.29.0-rc1 Check for copyright headers #1551: Pull request #784 opened by kim-em
8s bump_to_v4.29.0-rc1
bump_to_v4.29.0-rc1
8s
Check for copyright headers Check for copyright headers #1550: Merge group checks requested
10s
10s
doc: add v4.29.0 release notes Check for copyright headers #1549: Pull request #783 synchronize by kim-em
8s v4.29.0-release-notes
v4.29.0-release-notes
8s
doc: add v4.29.0 release notes Check for copyright headers #1548: Pull request #783 synchronize by kim-em
8s v4.29.0-release-notes
v4.29.0-release-notes
8s
doc: add v4.29.0 release notes Check for copyright headers #1547: Pull request #783 synchronize by kim-em
16s v4.29.0-release-notes
v4.29.0-release-notes
16s
doc: add v4.29.0 release notes Check for copyright headers #1546: Pull request #783 opened by kim-em
9s v4.29.0-release-notes
v4.29.0-release-notes
9s
Check for copyright headers Check for copyright headers #1545: Merge group checks requested
7s
7s
doc: update release notes title for v4.28.0 stable Check for copyright headers #1544: Pull request #782 opened by kim-em
9s fix-release-notes-title
fix-release-notes-title
9s
Check for copyright headers Check for copyright headers #1543: Merge group checks requested
9s
9s
chore: bump toolchain to v4.28.0 Check for copyright headers #1542: Pull request #781 opened by kim-em
9s bump_to_v4.28.0
bump_to_v4.28.0
9s