Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
84,143 workflow run results
84,143 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Check for stage0 changes Check for stage0 changes #5833: Merge group checks requested
October 28, 2024 20:39 1m 41s
October 28, 2024 20:39 1m 41s
Check PR title for commit convention Check PR title for commit convention #10810: Merge group checks requested
October 28, 2024 20:39 12s
October 28, 2024 20:39 12s
PR release PR release #14013: completed by kmill
October 28, 2024 20:36 3m 37s
October 28, 2024 20:36 3m 37s
PR release PR release #14012: completed by Kha
October 28, 2024 20:31 3s
October 28, 2024 20:31 3s
feat: improved calc error messages Check PR title for commit convention #10809: Pull request #5719 edited by kmill
October 28, 2024 20:23 1m 13s kmill:fix_4318
kmill:fix_4318
October 28, 2024 20:23 1m 13s
feat: improved calc error messages Check for copyright header #5837: Pull request #5719 synchronize by kmill
October 28, 2024 20:22 1m 42s kmill:fix_4318
kmill:fix_4318
October 28, 2024 20:22 1m 42s
feat: improved calc error messages Check for stage0 changes #5832: Pull request #5719 synchronize by kmill
October 28, 2024 20:22 1m 46s kmill:fix_4318
kmill:fix_4318
October 28, 2024 20:22 1m 46s
feat: improved calc error messages Check for modules that should use `prelude` #5682: Pull request #5719 synchronize by kmill
October 28, 2024 20:22 12s kmill:fix_4318
kmill:fix_4318
October 28, 2024 20:22 12s
feat: improved calc error messages Check PR title for commit convention #10808: Pull request #5719 synchronize by kmill
October 28, 2024 20:22 1m 8s kmill:fix_4318
kmill:fix_4318
October 28, 2024 20:22 1m 8s
feat: improved calc error messages Nix CI #20227: Pull request #5719 synchronize by kmill
October 28, 2024 20:22 15m 59s kmill:fix_4318
kmill:fix_4318
October 28, 2024 20:22 15m 59s
feat: improved calc error messages CI #23437: Pull request #5719 synchronize by kmill
October 28, 2024 20:22 13m 14s kmill:fix_4318
kmill:fix_4318
October 28, 2024 20:22 13m 14s
feat: improved calc error messages Label PR based on Comment #7679: Issue comment #5719 (comment) created by leanprover-bot
October 28, 2024 20:18 2s
October 28, 2024 20:18 2s
feat: elaborate theorem bodies in parallel Nix CI #20226: Pull request #5864 synchronize by Kha
October 28, 2024 20:10 6m 50s Kha:async-proofs
Kha:async-proofs
October 28, 2024 20:10 6m 50s
feat: elaborate theorem bodies in parallel Check for copyright header #5836: Pull request #5864 synchronize by Kha
October 28, 2024 20:10 26s Kha:async-proofs
Kha:async-proofs
October 28, 2024 20:10 26s
feat: elaborate theorem bodies in parallel Check for stage0 changes #5831: Pull request #5864 synchronize by Kha
October 28, 2024 20:10 36s Kha:async-proofs
Kha:async-proofs
October 28, 2024 20:10 36s
feat: elaborate theorem bodies in parallel Check for modules that should use `prelude` #5681: Pull request #5864 synchronize by Kha
October 28, 2024 20:10 1m 27s Kha:async-proofs
Kha:async-proofs
October 28, 2024 20:10 1m 27s
feat: elaborate theorem bodies in parallel Check PR title for commit convention #10807: Pull request #5864 synchronize by Kha
October 28, 2024 20:10 1m 35s Kha:async-proofs
Kha:async-proofs
October 28, 2024 20:10 1m 35s
feat: elaborate theorem bodies in parallel CI #23436: Pull request #5864 synchronize by Kha
October 28, 2024 20:10 20m 31s Kha:async-proofs
Kha:async-proofs
October 28, 2024 20:10 20m 31s
feat: improved calc error messages Label PR based on Comment #7678: Issue comment #5719 (comment) created by kmill
October 28, 2024 19:59 2s
October 28, 2024 19:59 2s
PR release PR release #14011: completed by Kha
October 28, 2024 19:09 3s
October 28, 2024 19:09 3s
PR release PR release #14010: completed by Kha
October 28, 2024 18:53 2s
October 28, 2024 18:53 2s
feat: elaborate theorem bodies in parallel CI #23435: Pull request #5864 synchronize by Kha
October 28, 2024 18:52 16m 38s Kha:async-proofs
Kha:async-proofs
October 28, 2024 18:52 16m 38s
feat: elaborate theorem bodies in parallel Check for copyright header #5835: Pull request #5864 synchronize by Kha
October 28, 2024 18:52 1m 26s Kha:async-proofs
Kha:async-proofs
October 28, 2024 18:52 1m 26s
feat: elaborate theorem bodies in parallel Check PR title for commit convention #10806: Pull request #5864 synchronize by Kha
October 28, 2024 18:52 1m 27s Kha:async-proofs
Kha:async-proofs
October 28, 2024 18:52 1m 27s
feat: elaborate theorem bodies in parallel Nix CI #20225: Pull request #5864 synchronize by Kha
October 28, 2024 18:52 4m 55s Kha:async-proofs
Kha:async-proofs
October 28, 2024 18:52 4m 55s