Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
106,830 workflow runs
106,830 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: alignment of Array.set lemmas with List lemmas Backport #5758: Pull request #6365 closed by kim-em
December 11, 2024 02:10 8s
December 11, 2024 02:10 8s
feat: alignment of Array.set lemmas with List lemmas (#6365) Update stage0 #2347: Commit c83ce02 pushed by github-merge-queue bot
December 11, 2024 02:10 33s master
master
December 11, 2024 02:10 33s
feat: alignment of Array.set lemmas with List lemmas (#6365) Nix CI #22232: Commit c83ce02 pushed by github-merge-queue bot
December 11, 2024 02:10 13m 27s master
master
December 11, 2024 02:10 13m 27s
feat: alignment of Array.set lemmas with List lemmas (#6365) CI #25494: Commit c83ce02 pushed by github-merge-queue bot
December 11, 2024 02:10 32m 22s master
master
December 11, 2024 02:10 32m 22s
PR release PR release #16109: completed by eric-wieser
December 11, 2024 02:10 3m 48s
December 11, 2024 02:10 3m 48s
PR release PR release #16108: completed by kim-em
December 11, 2024 02:10 2s
December 11, 2024 02:10 2s
Label stale PRs Label stale PRs #451: Scheduled
December 11, 2024 02:06 17s master
master
December 11, 2024 02:06 17s
fix: add missing category fields to Lean.Firefox.FrameTable Check PR body for changelog convention #1994: Pull request #6363 synchronize by eric-wieser
December 11, 2024 01:50 9s eric-wieser:patch-31
eric-wieser:patch-31
December 11, 2024 01:50 9s
fix: add missing category fields to Lean.Firefox.FrameTable Nix CI #22231: Pull request #6363 synchronize by eric-wieser
December 11, 2024 01:50 9m 9s eric-wieser:patch-31
eric-wieser:patch-31
December 11, 2024 01:50 9m 9s
fix: add missing category fields to Lean.Firefox.FrameTable Check PR title for commit convention #12835: Pull request #6363 synchronize by eric-wieser
December 11, 2024 01:50 14s eric-wieser:patch-31
eric-wieser:patch-31
December 11, 2024 01:50 14s
fix: add missing category fields to Lean.Firefox.FrameTable Check for copyright header #7069: Pull request #6363 synchronize by eric-wieser
December 11, 2024 01:50 38s eric-wieser:patch-31
eric-wieser:patch-31
December 11, 2024 01:50 38s
fix: add missing category fields to Lean.Firefox.FrameTable CI #25493: Pull request #6363 synchronize by eric-wieser
December 11, 2024 01:50 20m 5s eric-wieser:patch-31
eric-wieser:patch-31
December 11, 2024 01:50 20m 5s
fix: add missing category fields to Lean.Firefox.FrameTable Check for modules that should use `prelude` #6914: Pull request #6363 synchronize by eric-wieser
December 11, 2024 01:50 13s eric-wieser:patch-31
eric-wieser:patch-31
December 11, 2024 01:50 13s
fix: add missing category fields to Lean.Firefox.FrameTable Check for stage0 changes #7476: Pull request #6363 synchronize by eric-wieser
December 11, 2024 01:50 40s eric-wieser:patch-31
eric-wieser:patch-31
December 11, 2024 01:50 40s
feat: alignment of Array.set lemmas with List lemmas Label PR based on Comment #8691: Issue comment #6365 (comment) created by leanprover-community-bot
December 11, 2024 01:48 2s
December 11, 2024 01:48 2s
Check PR title for commit convention Check PR title for commit convention #12834: Merge group checks requested
December 11, 2024 01:45 9s
December 11, 2024 01:45 9s
CI CI #25492: Merge group checks requested
December 11, 2024 01:45 24m 42s
December 11, 2024 01:45 24m 42s
Check for stage0 changes Check for stage0 changes #7475: Merge group checks requested
December 11, 2024 01:45 40s
December 11, 2024 01:45 40s
Actionlint Actionlint #2991: Merge group checks requested
December 11, 2024 01:45 42s
December 11, 2024 01:45 42s
Check PR body for changelog convention Check PR body for changelog convention #1993: Merge group checks requested
December 11, 2024 01:45 8s
December 11, 2024 01:45 8s
Nix CI Nix CI #22230: Merge group checks requested
December 11, 2024 01:45 13m 12s
December 11, 2024 01:45 13m 12s
PR release PR release #16107: completed by kim-em
December 11, 2024 01:45 3m 48s
December 11, 2024 01:45 3m 48s
PR release PR release #16106: completed by kim-em
December 11, 2024 01:25 2s
December 11, 2024 01:25 2s
feat: alignment of Array.set lemmas with List lemmas Check PR title for commit convention #12833: Pull request #6365 synchronize by kim-em
December 11, 2024 01:25 9s array_set
array_set
December 11, 2024 01:25 9s
feat: alignment of Array.set lemmas with List lemmas Check for stage0 changes #7474: Pull request #6365 synchronize by kim-em
December 11, 2024 01:25 44s array_set
array_set
December 11, 2024 01:25 44s