Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
122,899 workflow runs
122,899 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: #info_trees in command Check PR body for changelog convention #5042: Pull request #6964 labeled by kim-em
February 6, 2025 02:46 12s info_trees_cmd
info_trees_cmd
February 6, 2025 02:46 12s
feat: #info_trees in command Check for modules that should use `prelude` #8393: Pull request #6964 opened by kim-em
February 6, 2025 02:46 11s info_trees_cmd
info_trees_cmd
February 6, 2025 02:46 11s
feat: #info_trees in command Nix CI #24674: Pull request #6964 opened by kim-em
February 6, 2025 02:46 In progress info_trees_cmd
info_trees_cmd
February 6, 2025 02:46 In progress
feat: #info_trees in command Check PR body for changelog convention #5041: Pull request #6964 opened by kim-em
February 6, 2025 02:46 9s info_trees_cmd
info_trees_cmd
February 6, 2025 02:46 9s
feat: #info_trees in command Check for copyright header #8548: Pull request #6964 opened by kim-em
February 6, 2025 02:46 34s info_trees_cmd
info_trees_cmd
February 6, 2025 02:46 34s
feat: #info_trees in command CI #27997: Pull request #6964 opened by kim-em
February 6, 2025 02:46 In progress info_trees_cmd
info_trees_cmd
February 6, 2025 02:46 In progress
feat: #info_trees in command Check for stage0 changes #9437: Pull request #6964 opened by kim-em
February 6, 2025 02:46 42s info_trees_cmd
info_trees_cmd
February 6, 2025 02:46 42s
feat: #info_trees in command Check PR title for commit convention #15078: Pull request #6964 opened by kim-em
February 6, 2025 02:46 7s info_trees_cmd
info_trees_cmd
February 6, 2025 02:46 7s
feat: #info_trees in command Restart by label #3046: Pull request #6964 labeled by kim-em
February 6, 2025 02:46 2s
February 6, 2025 02:46 2s
feat: #info_trees in command Backport #7009: Pull request #6964 labeled by kim-em
February 6, 2025 02:46 2s
February 6, 2025 02:46 2s
chore: further cleanup of index variable naming in List Label PR based on Comment #9807: Issue comment #6963 (comment) created by leanprover-community-bot
February 6, 2025 02:43 2s
February 6, 2025 02:43 2s
CI CI #27996: Merge group checks requested
February 6, 2025 02:39 In progress
February 6, 2025 02:39 In progress
Check PR body for changelog convention Check PR body for changelog convention #5040: Merge group checks requested
February 6, 2025 02:39 8s
February 6, 2025 02:39 8s
Nix CI Nix CI #24673: Merge group checks requested
February 6, 2025 02:39 In progress
February 6, 2025 02:39 In progress
Check for stage0 changes Check for stage0 changes #9436: Merge group checks requested
February 6, 2025 02:39 41s
February 6, 2025 02:39 41s
Check PR title for commit convention Check PR title for commit convention #15077: Merge group checks requested
February 6, 2025 02:39 11s
February 6, 2025 02:39 11s
Actionlint Actionlint #3510: Merge group checks requested
February 6, 2025 02:39 40s
February 6, 2025 02:39 40s
PR release PR release #18633: completed by kim-em
February 6, 2025 02:39 4m 7s
February 6, 2025 02:39 4m 7s
doc: improve List.toArray doc-string Backport #7008: Pull request #6962 closed by kim-em
February 6, 2025 02:27 9s
February 6, 2025 02:27 9s
doc: improve List.toArray doc-string (#6962) Update stage0 #2838: Commit 8fd107c pushed by github-merge-queue bot
February 6, 2025 02:27 31s master
master
February 6, 2025 02:27 31s
doc: improve List.toArray doc-string (#6962) CI #27995: Commit 8fd107c pushed by github-merge-queue bot
February 6, 2025 02:27 In progress master
master
February 6, 2025 02:27 In progress
doc: improve List.toArray doc-string (#6962) Nix CI #24672: Commit 8fd107c pushed by github-merge-queue bot
February 6, 2025 02:27 13m 34s master
master
February 6, 2025 02:27 13m 34s
PR release PR release #18632: completed by kim-em
February 6, 2025 02:26 2s
February 6, 2025 02:26 2s
PR release PR release #18631: completed by kim-em
February 6, 2025 02:16 2s
February 6, 2025 02:16 2s
chore: further cleanup of index variable naming in List Check PR title for commit convention #15076: Pull request #6963 synchronize by kim-em
February 6, 2025 02:16 11s indexVariables2
indexVariables2
February 6, 2025 02:16 11s