Skip to content

Actions: leanprover/reference-manual

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,418 workflow runs
2,418 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Label PRs with artifacts Label PRs with artifacts #313: completed by david-christiansen
February 7, 2025 13:34 12s
February 7, 2025 13:34 12s
Deploy PR for review Deploy PR for review #201: completed by david-christiansen
February 7, 2025 13:34 34s
February 7, 2025 13:34 34s
fix: correct the description of integer representation Build and check HTML #669: Pull request #291 synchronize by david-christiansen
February 7, 2025 13:28 6m 26s int-fix
int-fix
February 7, 2025 13:28 6m 26s
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
fix: correct the description of integer representation Check for too-big Lean imports #363: Pull request #291 synchronize by david-christiansen
February 7, 2025 13:28 10s int-fix
int-fix
February 7, 2025 13:28 10s
fix: correct the description of integer representation Check PR title for commit convention #404: Pull request #291 synchronize by david-christiansen
February 7, 2025 13:28 10s int-fix
int-fix
February 7, 2025 13:28 10s
fix: correct the description of integer representation Check for copyright headers #60: Pull request #291 synchronize by david-christiansen
February 7, 2025 13:28 28s int-fix
int-fix
February 7, 2025 13:28 28s
Label PRs with artifacts Label PRs with artifacts #312: completed by david-christiansen
February 7, 2025 13:27 9s
February 7, 2025 13:27 9s
Deploy PR for review Deploy PR for review #200: completed by david-christiansen
February 7, 2025 13:27 3s
February 7, 2025 13:27 3s
feat: sum types Check for too-big Lean imports #362: Pull request #292 opened by david-christiansen
February 7, 2025 13:27 12s sum
sum
February 7, 2025 13:27 12s
feat: sum types Check for copyright headers #59: Pull request #292 opened by david-christiansen
February 7, 2025 13:27 31s sum
sum
February 7, 2025 13:27 31s
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
feat: sum types Check PR title for commit convention #403: Pull request #292 opened by david-christiansen
February 7, 2025 13:27 13s sum
sum
February 7, 2025 13:27 13s
feat: sum types Build and check HTML #668: Pull request #292 opened by david-christiansen
February 7, 2025 13:27 44s sum
sum
February 7, 2025 13:27 44s
Deploy PR for review Deploy PR for review #199: completed by david-christiansen
February 7, 2025 13:14 3s
February 7, 2025 13:14 3s
Label PRs with artifacts Label PRs with artifacts #311: completed by david-christiansen
February 7, 2025 13:14 11s
February 7, 2025 13:14 11s
fix: correct the description of integer representation Check for too-big Lean imports #361: Pull request #291 synchronize by david-christiansen
February 7, 2025 13:07 13s int-fix
int-fix
February 7, 2025 13:07 13s
fix: correct the description of integer representation Build and check HTML #667: Pull request #291 synchronize by david-christiansen
February 7, 2025 13:07 6m 37s int-fix
int-fix
February 7, 2025 13:07 6m 37s
fix: correct the description of integer representation Check PR title for commit convention #402: Pull request #291 synchronize by david-christiansen
February 7, 2025 13:07 13s int-fix
int-fix
February 7, 2025 13:07 13s
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
fix: correct the description of integer representation Check for copyright headers #58: Pull request #291 synchronize by david-christiansen
February 7, 2025 13:07 28s int-fix
int-fix
February 7, 2025 13:07 28s
Label PRs with artifacts Label PRs with artifacts #310: completed by david-christiansen
February 7, 2025 09:08 15s
February 7, 2025 09:08 15s
Deploy PR for review Deploy PR for review #198: completed by david-christiansen
February 7, 2025 09:08 23s
February 7, 2025 09:08 23s
fix: correct the description of integer representation Check for copyright headers #360: Pull request #291 opened by david-christiansen
February 7, 2025 09:02 14s int-fix
int-fix
February 7, 2025 09:02 14s