Apply Overlays · Workflow runs · leanprover/reference-manual · GitHub

Actions

All workflows
Workflows
- Deploy the 'postdeploy' branch Deploy the 'postdeploy' branch
- Merge main to nightly Merge main to nightly
- 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
- Check PR title for commit convention Check PR title for commit convention
- Deploy PR for review Deploy PR for review
Management
- Caches
- Deployments

Apply Overlays

Actions

Loading...
Loading

5 workflow runs

5 workflow runs

Apply Overlays Apply Overlays #5: completed by david-christiansen

39s

39s

Apply Overlays Apply Overlays #4: completed by david-christiansen

39s

39s

Apply Overlays Apply Overlays #3: completed by jcreedcmu

38s

38s

Apply Overlays Apply Overlays #2: completed by jcreedcmu

36s

36s

Apply Overlays Apply Overlays #1: completed by jcreedcmu

37s

37s