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
383 workflow runs
383 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: well-founded function definition preprocessing Check for copyright headers #385: Pull request #296 synchronize by nomeata
February 11, 2025 20:36 15s joachim/autoattach
joachim/autoattach
February 11, 2025 20:36 15s
chore: remove incorrect check from main branch preview CI Check for copyright headers #384: Pull request #301 opened by david-christiansen
February 11, 2025 20:33 12s ci-preview-main
ci-preview-main
February 11, 2025 20:33 12s
chore: bump to latest nightly Check for copyright headers #383: Pull request #299 synchronize by david-christiansen
February 11, 2025 20:27 11s bump-2025-02-11
bump-2025-02-11
February 11, 2025 20:27 11s
feat: well-founded function definition preprocessing Check for copyright headers #382: Pull request #296 synchronize by nomeata
February 11, 2025 20:26 11s joachim/autoattach
joachim/autoattach
February 11, 2025 20:26 11s
chore: bump to latest nightly Check for copyright headers #381: Pull request #299 synchronize by david-christiansen
February 11, 2025 19:24 16s bump-2025-02-11
bump-2025-02-11
February 11, 2025 19:24 16s
chore: bump to latest nightly Check for copyright headers #380: Pull request #299 synchronize by david-christiansen
February 11, 2025 16:26 13s bump-2025-02-11
bump-2025-02-11
February 11, 2025 16:26 13s
chore: attempt to fix deployment of main to preview site Check for copyright headers #379: Pull request #300 opened by david-christiansen
February 11, 2025 16:24 16s ci-preview-main
ci-preview-main
February 11, 2025 16:24 16s
chore: bump to latest nightly Check for copyright headers #378: Pull request #299 opened by david-christiansen
February 11, 2025 16:01 23s bump-2025-02-11
bump-2025-02-11
February 11, 2025 16:01 23s
fix: scope LI spacing fixes more specifically Check for copyright headers #377: Pull request #298 opened by david-christiansen
February 11, 2025 14:46 17s css-fixes
css-fixes
February 11, 2025 14:46 17s
chore: bump Verso Check for copyright headers #376: Pull request #297 opened by david-christiansen
February 11, 2025 13:57 13s this-page-items
this-page-items
February 11, 2025 13:57 13s
feat: well-founded function definition preprocessing Check for copyright headers #375: Pull request #296 opened by nomeata
February 11, 2025 10:39 10s joachim/autoattach
joachim/autoattach
February 11, 2025 10:39 10s
chore: bump Lean and Verso Check for copyright headers #374: Pull request #295 synchronize by david-christiansen
February 10, 2025 15:14 14s bump-2025-02-10
bump-2025-02-10
February 10, 2025 15:14 14s
chore: bump Lean and Verso Check for copyright headers #373: Pull request #295 opened by david-christiansen
February 10, 2025 12:07 14s bump-2025-02-10
bump-2025-02-10
February 10, 2025 12:07 14s
feat: products Check for copyright headers #372: Pull request #293 synchronize by david-christiansen
February 10, 2025 11:44 11s prod
prod
February 10, 2025 11:44 11s
feat: products Check for copyright headers #371: Pull request #293 synchronize by david-christiansen
February 10, 2025 10:40 11s prod
prod
February 10, 2025 10:40 11s
feat: products Check for copyright headers #370: Pull request #293 synchronize by david-christiansen
February 10, 2025 05:59 15s prod
prod
February 10, 2025 05:59 15s
feat: sum types Check for copyright headers #369: Pull request #292 synchronize by david-christiansen
February 7, 2025 16:24 17s sum
sum
February 7, 2025 16:24 17s
fix: remove unintentionally-retained 'planned' label Check for copyright headers #368: Pull request #294 opened by david-christiansen
February 7, 2025 16:21 15s planned-audit
planned-audit
February 7, 2025 16:21 15s
feat: products Check for copyright headers #367: Pull request #293 opened by david-christiansen
February 7, 2025 16:15 15s prod
prod
February 7, 2025 16:15 15s
feat: sum types Check for copyright headers #366: Pull request #292 synchronize by david-christiansen
February 7, 2025 16:14 20s sum
sum
February 7, 2025 16:14 20s
feat: sum types Check for copyright headers #365: Pull request #292 synchronize by david-christiansen
February 7, 2025 16:13 12s sum
sum
February 7, 2025 16:13 12s
feat: sum types Check for copyright headers #364: Pull request #292 synchronize by david-christiansen
February 7, 2025 14:38 12s sum
sum
February 7, 2025 14:38 12s
fix: correct the description of integer representation Check for copyright headers #363: Pull request #291 synchronize by david-christiansen
February 7, 2025 13:28 11s int-fix
int-fix
February 7, 2025 13:28 11s
feat: sum types Check for copyright headers #362: Pull request #292 opened by david-christiansen
February 7, 2025 13:27 14s sum
sum
February 7, 2025 13:27 14s
fix: correct the description of integer representation Check for copyright headers #361: Pull request #291 synchronize by david-christiansen
February 7, 2025 13:07 18s int-fix
int-fix
February 7, 2025 13:07 18s