Workflow runs · nlatmath/lean4 · GitHub

Actions

All workflows
Workflows
- Actionlint Actionlint
- build-template build-template
- Check awaiting-mathlib label Check awaiting-mathlib label
- Check for modules that should use `prelude` Check for modules that should use `prelude`
- Check for stage0 changes Check for stage0 changes
- Check PR body for changelog convention Check PR body for changelog convention
- Label PR based on Comment Label PR based on Comment
- PR release PR release
- Update stage0 Update stage0
- CI CI Disabled
Management
- Caches

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

325 workflow runs

325 workflow runs

CI CI #128: Scheduled

14s master

master

14s

PR release PR release #126: completed by lnhutnam

Skipped

Skipped

CI CI #127: Scheduled

13s master

master

13s

PR release PR release #125: completed by lnhutnam

1s

1s

CI CI #126: Scheduled

16s master

master

16s

PR release PR release #124: completed by lnhutnam

1s

1s

CI CI #125: Scheduled

15s master

master

15s

PR release PR release #123: completed by lnhutnam

1s

1s

CI CI #124: Scheduled

13s master

master

13s

PR release PR release #122: completed by lnhutnam

1s

1s

CI CI #123: Scheduled

12s master

master

12s

PR release PR release #121: completed by lnhutnam

1s

1s

CI CI #122: Scheduled

14s master

master

14s

PR release PR release #120: completed by lnhutnam

1s

1s

CI CI #121: Scheduled

12s master

master

12s

PR release PR release #119: completed by lnhutnam

1s

1s

CI CI #120: Scheduled

15s master

master

15s

PR release PR release #118: completed by lnhutnam

1s

1s

CI CI #119: Scheduled

14s master

master

14s

PR release PR release #117: completed by lnhutnam

1s

1s

CI CI #118: Scheduled

15s master

master

15s

PR release PR release #116: completed by lnhutnam

1s

1s

CI CI #117: Scheduled

13s master

master

13s

PR release PR release #115: completed by lnhutnam

Skipped

Skipped

CI CI #116: Scheduled

16s master

master

16s