Workflow runs · attilavjda/lean4 · GitHub

Actions

All workflows
Workflows
- Actionlint Actionlint
- Adaptation PR Adaptation PR
- Backport Backport
- build-template build-template
- Check awaiting-manual label Check awaiting-manual label
- Check awaiting-mathlib label Check awaiting-mathlib label
- Check for copyright header Check for copyright header
- Check for empty PR Check for empty PR
- Check for modules that should use `prelude` Check for modules that should use `prelude`
- Check for stage0 changes Check for stage0 changes
Management
- Caches

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

37 workflow runs

37 workflow runs

PR release PR release #9: completed by attilavjda

1s

1s

Grove Grove #9: completed by attilavjda

1s

1s

CI CI #9: Scheduled

22s master

master

22s

Label stale PRs Label stale PRs #4: Scheduled

7s master

master

7s

PR release PR release #8: completed by attilavjda

1s

1s

Grove Grove #8: completed by attilavjda

1s

1s

CI CI #8: Scheduled

25s master

master

25s

Label stale PRs Label stale PRs #3: Scheduled

10s master

master

10s

Grove Grove #7: completed by attilavjda

10s

10s

PR release PR release #7: completed by attilavjda

1s

1s

CI CI #7: Scheduled

18s master

master

18s

Label stale PRs Label stale PRs #2: Scheduled

9s master

master

9s

Grove Grove #6: completed by attilavjda

1s

1s

PR release PR release #6: completed by attilavjda

1s

1s

PR release PR release #5: completed by attilavjda

1s

1s

Grove Grove #5: completed by attilavjda

1s

1s

feat: support well-founded and state-dependent termination measures i… CI #6: Commit f29e9e4 pushed by attilavjda

2h 4m 12s master

master

2h 4m 12s

feat: support well-founded and state-dependent termination measures i… Update stage0 #5: Commit f29e9e4 pushed by attilavjda

1d 0h 0m 2s master

master

1d 0h 0m 2s

Merge branch 'leanprover:master' into master CI #5: Commit 535676e pushed by attilavjda

12m 36s master

master

12m 36s

Merge branch 'leanprover:master' into master Update stage0 #4: Commit 535676e pushed by attilavjda

12m 22s master

master

12m 22s

Grove Grove #4: completed by attilavjda

1s

1s

PR release PR release #4: completed by attilavjda

1s

1s

Merge remote-tracking branch 'upstream/master' CI #4: Commit 9f6add4 pushed by attilavjda

2h 2m 4s master

master

2h 2m 4s

Merge remote-tracking branch 'upstream/master' Update stage0 #3: Commit 9f6add4 pushed by attilavjda

4h 16m 47s master

master

4h 16m 47s

PR release PR release #3: completed by attilavjda

1s

1s