Apply Overlays · Workflow runs · leanprover/verso · GitHub

Actions

All workflows
Workflows
- Merge main to nightly Merge main to nightly
- Update nightly-testing Update nightly-testing
- All test modules imported All test modules imported
- Apply Overlays Apply Overlays
- Check Code Formatting Check Code Formatting
- Check for copyright header and too-big Lean imports Check for copyright header and too-big Lean imports
- Check for trailing newlines Check for trailing newlines
- Check PR title follows commit convention Check PR title follows commit convention
- Check toolchain file Check toolchain file
- Clean Dependabot PR descriptions Clean Dependabot PR descriptions
Management
- Caches
- Deployments

Apply Overlays

Actions

Loading...
Loading

7 workflow runs

7 workflow runs

Apply Overlays Apply Overlays #7: completed by Garmelon

1s

1s

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

1s

1s

Apply Overlays Apply Overlays #5: completed by Garmelon

11s

11s

Apply Overlays Apply Overlays #4: completed by kim-em

14s

14s

Apply Overlays Apply Overlays #3: completed by kim-em

14s

14s

Apply Overlays Apply Overlays #2: Manually run by jcreedcmu

13s main

main

13s

Apply Overlays Apply Overlays #1: completed by jcreedcmu

1s

1s