Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

doc: explain abstraction order Check for stage0 changes #7025: Pull request #6239 opened by Vtec234
November 27, 2024 19:44 52s abstract-doc
abstract-doc
November 27, 2024 19:44 52s
doc: explain abstraction order Check PR body for changelog convention #1245: Pull request #6239 opened by Vtec234
November 27, 2024 19:44 14s abstract-doc
abstract-doc
November 27, 2024 19:44 14s
doc: explain abstraction order Nix CI #21692: Pull request #6239 opened by Vtec234
November 27, 2024 19:44 In progress abstract-doc
abstract-doc
November 27, 2024 19:44 In progress
doc: explain abstraction order Check for copyright header #6701: Pull request #6239 opened by Vtec234
November 27, 2024 19:44 34s abstract-doc
abstract-doc
November 27, 2024 19:44 34s
doc: explain abstraction order Check for modules that should use `prelude` #6546: Pull request #6239 opened by Vtec234
November 27, 2024 19:44 17s abstract-doc
abstract-doc
November 27, 2024 19:44 17s
doc: explain abstraction order Check PR title for commit convention #12276: Pull request #6239 opened by Vtec234
November 27, 2024 19:44 12s abstract-doc
abstract-doc
November 27, 2024 19:44 12s
doc: explain abstraction order CI #24939: Pull request #6239 opened by Vtec234
November 27, 2024 19:44 In progress abstract-doc
abstract-doc
November 27, 2024 19:44 In progress
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