Workflow runs · leanprover/reference-manual

Actions

All workflows
Workflows
- Deploy the 'postdeploy' branch Deploy the 'postdeploy' branch
- Merge main to nightly Merge main to nightly
- Nightly with Manual Nightly with Manual
- Report PR testing status to the lean4 repository Report PR testing status to the lean4 repository
- Update nightly-testing Update nightly-testing
- .github/workflows/vale.yml .github/workflows/vale.yml
- Apply Overlays Apply Overlays
- Build and check HTML Build and check HTML
- Check for copyright headers Check for copyright headers
- Check for too-big Lean imports Check for too-big Lean imports
Management
- Caches
- Deployments

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

11,780 workflow runs

Nightly with Manual Nightly with Manual #61: Scheduled

6m 15s main

main

6m 15s

Update nightly-testing Update nightly-testing #595: Scheduled

14s main

main

14s

Merge main to nightly Merge main to nightly #597: Scheduled

6m 3s main

main

6m 3s

Update nightly-testing Update nightly-testing #594: Scheduled

29m 5s main

main

29m 5s

Merge main to nightly Merge main to nightly #596: Scheduled

6m 1s main

main

6m 1s

Nightly with Manual Nightly with Manual #60: Scheduled

6m 14s main

main

6m 14s

Update nightly-testing Update nightly-testing #593: Scheduled

12s main

main

12s

Merge main to nightly Merge main to nightly #595: Scheduled

6m 17s main

main

6m 17s

Nightly with Manual Nightly with Manual #59: Scheduled

6m 18s main

main

6m 18s

Update nightly-testing Update nightly-testing #592: Scheduled

13s main

main

13s

Merge main to nightly Merge main to nightly #594: Scheduled

6m 0s main

main

6m 0s

Label PRs with artifacts Label PRs with artifacts #1801: completed by leanprover-bot

Deploy PR for review Deploy PR for review #1689: completed by leanprover-bot

10s

Update lean-toolchain for testing https://github.com/leanprover/lean4… Build and check HTML #2177: Commit 6bdcbb8 pushed by leanprover-bot

2m 57s lean-pr-testing-11873

lean-pr-testing-11873

2m 57s

Update lean-toolchain for testing https://github.com/leanprover/lean4… Report PR testing status to the lean4 repository #305: Commit 6bdcbb8 pushed by leanprover-bot

2m 59s lean-pr-testing-11873

lean-pr-testing-11873

2m 59s

Update nightly-testing Update nightly-testing #591: Scheduled

14s main

main

14s

Merge main to nightly Merge main to nightly #593: Scheduled

6m 1s main

main

6m 1s

Nightly with Manual Nightly with Manual #58: Scheduled

29m 36s main

main

29m 36s

Update nightly-testing Update nightly-testing #590: Scheduled

29m 11s main

main

29m 11s

Merge main to nightly Merge main to nightly #592: Scheduled

6m 4s main

main

6m 4s

style: upgrade plain backticks to Verso semantic markup Check Formatting of JS/CSS/HTML and Markdown #60: Pull request #736 synchronize by alok