Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
102,290 workflow runs
102,290 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: async linting Label PR based on Comment #8451: Issue comment #4460 (comment) created by leanprover-bot
November 27, 2024 17:25 3s
November 27, 2024 17:25 3s
PR release PR release #15542: completed by Kha
November 27, 2024 17:22 2m 31s
November 27, 2024 17:22 2m 31s
PR release PR release #15541: completed by Kha
November 27, 2024 17:17 3s
November 27, 2024 17:17 3s
feat: async linting Label PR based on Comment #8450: Issue comment #4460 (comment) created by Kha
November 27, 2024 17:05 3s
November 27, 2024 17:05 3s
feat: elaborate theorem bodies in parallel Check for modules that should use `prelude` #6545: Pull request #5864 synchronize by Kha
November 27, 2024 17:05 16s Kha:async-proofs
Kha:async-proofs
November 27, 2024 17:05 16s
feat: elaborate theorem bodies in parallel Check PR title for commit convention #12275: Pull request #5864 synchronize by Kha
November 27, 2024 17:05 14s Kha:async-proofs
Kha:async-proofs
November 27, 2024 17:05 14s
feat: elaborate theorem bodies in parallel Check PR body for changelog convention #1244: Pull request #5864 synchronize by Kha
November 27, 2024 17:05 15s Kha:async-proofs
Kha:async-proofs
November 27, 2024 17:05 15s
feat: elaborate theorem bodies in parallel CI #24938: Pull request #5864 synchronize by Kha
November 27, 2024 17:05 11m 55s Kha:async-proofs
Kha:async-proofs
November 27, 2024 17:05 11m 55s
feat: elaborate theorem bodies in parallel Check for stage0 changes #7024: Pull request #5864 synchronize by Kha
November 27, 2024 17:05 1m 4s Kha:async-proofs
Kha:async-proofs
November 27, 2024 17:05 1m 4s
feat: elaborate theorem bodies in parallel Actionlint #2893: Pull request #5864 synchronize by Kha
November 27, 2024 17:05 45s Kha:async-proofs
Kha:async-proofs
November 27, 2024 17:05 45s
feat: elaborate theorem bodies in parallel Nix CI #21691: Pull request #5864 synchronize by Kha
November 27, 2024 17:05 8m 19s Kha:async-proofs
Kha:async-proofs
November 27, 2024 17:05 8m 19s
feat: elaborate theorem bodies in parallel Check for copyright header #6700: Pull request #5864 synchronize by Kha
November 27, 2024 17:05 41s Kha:async-proofs
Kha:async-proofs
November 27, 2024 17:05 41s
feat: async linting Check for copyright header #6699: Pull request #4460 synchronize by Kha
November 27, 2024 17:05 36s Kha:parallel-linting
Kha:parallel-linting
November 27, 2024 17:05 36s
feat: async linting Check PR title for commit convention #12274: Pull request #4460 synchronize by Kha
November 27, 2024 17:05 11s Kha:parallel-linting
Kha:parallel-linting
November 27, 2024 17:05 11s
feat: async linting CI #24937: Pull request #4460 synchronize by Kha
November 27, 2024 17:05 16m 31s Kha:parallel-linting
Kha:parallel-linting
November 27, 2024 17:05 16m 31s
feat: async linting Check PR body for changelog convention #1243: Pull request #4460 synchronize by Kha
November 27, 2024 17:05 18s Kha:parallel-linting
Kha:parallel-linting
November 27, 2024 17:05 18s
feat: async linting Check for modules that should use `prelude` #6544: Pull request #4460 synchronize by Kha
November 27, 2024 17:05 13s Kha:parallel-linting
Kha:parallel-linting
November 27, 2024 17:05 13s
feat: async linting Check for stage0 changes #7023: Pull request #4460 synchronize by Kha
November 27, 2024 17:05 55s Kha:parallel-linting
Kha:parallel-linting
November 27, 2024 17:05 55s
feat: async linting Nix CI #21690: Pull request #4460 synchronize by Kha
November 27, 2024 17:05 9m 6s Kha:parallel-linting
Kha:parallel-linting
November 27, 2024 17:05 9m 6s
feat: async linting Label PR based on Comment #8449: Issue comment #4460 (comment) created by leanprover-community-bot
November 27, 2024 16:32 3s
November 27, 2024 16:32 3s
PR release PR release #15540: completed by Kha
November 27, 2024 16:30 3m 52s
November 27, 2024 16:30 3m 52s
PR release PR release #15539: completed by Kha
November 27, 2024 16:28 4m 26s
November 27, 2024 16:28 4m 26s
feat: async linting Label PR based on Comment #8448: Issue comment #4460 (comment) created by leanprover-bot
November 27, 2024 16:27 2s
November 27, 2024 16:27 2s
feat: HashMap.toList_map_fst Label PR based on Comment #8447: Issue comment #6232 (comment) created by jt0202
November 27, 2024 16:20 2s
November 27, 2024 16:20 2s
PR release PR release #15538: completed by Kha
November 27, 2024 16:07 2s
November 27, 2024 16:07 2s