Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
91,901 workflow run results
91,901 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR release PR release #14431: completed by kim-em
November 5, 2024 23:53 2s
November 5, 2024 23:53 2s
feat: relate Array.isPrefixOf with List.isPrefixOf Label PR based on Comment #7852: Issue comment #5971 (comment) created by leanprover-community-bot
November 5, 2024 23:41 2s
November 5, 2024 23:41 2s
Check PR title for commit convention Check PR title for commit convention #11202: Merge group checks requested
November 5, 2024 23:38 9s
November 5, 2024 23:38 9s
Actionlint Actionlint #2616: Merge group checks requested
November 5, 2024 23:38 31s
November 5, 2024 23:38 31s
Check for stage0 changes Check for stage0 changes #6148: Merge group checks requested
November 5, 2024 23:38 35s
November 5, 2024 23:38 35s
CI CI #23847: Merge group checks requested
November 5, 2024 23:38 24m 42s
November 5, 2024 23:38 24m 42s
Nix CI Nix CI #20628: Merge group checks requested
November 5, 2024 23:38 31s
November 5, 2024 23:38 31s
PR release PR release #14430: completed by kim-em
November 5, 2024 23:38 3m 35s
November 5, 2024 23:38 3m 35s
chore: deprecate Array.split in favour of identical Array.partition Label PR based on Comment #7851: Issue comment #5970 (comment) created by leanprover-community-bot
November 5, 2024 23:33 1s
November 5, 2024 23:33 1s
PR release PR release #14429: completed by kim-em
November 5, 2024 23:29 4m 27s
November 5, 2024 23:29 4m 27s
PR release PR release #14428: completed by kim-em
November 5, 2024 23:19 1s
November 5, 2024 23:19 1s
feat: relate Array.isPrefixOf with List.isPrefixOf Check for stage0 changes #6147: Pull request #5971 synchronize by kim-em
November 5, 2024 23:18 38s relate_isPrefixOf
relate_isPrefixOf
November 5, 2024 23:18 38s
feat: relate Array.isPrefixOf with List.isPrefixOf CI #23846: Pull request #5971 synchronize by kim-em
November 5, 2024 23:18 19m 10s relate_isPrefixOf
relate_isPrefixOf
November 5, 2024 23:18 19m 10s
feat: relate Array.isPrefixOf with List.isPrefixOf Check for modules that should use `prelude` #5918: Pull request #5971 synchronize by kim-em
November 5, 2024 23:18 16s relate_isPrefixOf
relate_isPrefixOf
November 5, 2024 23:18 16s
feat: relate Array.isPrefixOf with List.isPrefixOf Check PR title for commit convention #11201: Pull request #5971 synchronize by kim-em
November 5, 2024 23:18 14s relate_isPrefixOf
relate_isPrefixOf
November 5, 2024 23:18 14s
feat: relate Array.isPrefixOf with List.isPrefixOf Check for copyright header #6073: Pull request #5971 synchronize by kim-em
November 5, 2024 23:18 1m 32s relate_isPrefixOf
relate_isPrefixOf
November 5, 2024 23:18 1m 32s
feat: relate Array.isPrefixOf with List.isPrefixOf Nix CI #20627: Pull request #5971 synchronize by kim-em
November 5, 2024 23:18 13m 54s relate_isPrefixOf
relate_isPrefixOf
November 5, 2024 23:18 13m 54s
chore: deprecate Array.split in favour of identical Array.partition Check PR title for commit convention #11200: Pull request #5970 synchronize by kim-em
November 5, 2024 23:11 10s deprecate_array_split
deprecate_array_split
November 5, 2024 23:11 10s
chore: deprecate Array.split in favour of identical Array.partition Check for copyright header #6072: Pull request #5970 synchronize by kim-em
November 5, 2024 23:11 29s deprecate_array_split
deprecate_array_split
November 5, 2024 23:11 29s
chore: deprecate Array.split in favour of identical Array.partition Check for stage0 changes #6146: Pull request #5970 synchronize by kim-em
November 5, 2024 23:11 37s deprecate_array_split
deprecate_array_split
November 5, 2024 23:11 37s
chore: deprecate Array.split in favour of identical Array.partition CI #23845: Pull request #5970 synchronize by kim-em
November 5, 2024 23:11 17m 46s deprecate_array_split
deprecate_array_split
November 5, 2024 23:11 17m 46s
chore: deprecate Array.split in favour of identical Array.partition Check for modules that should use `prelude` #5917: Pull request #5970 synchronize by kim-em
November 5, 2024 23:11 1m 34s deprecate_array_split
deprecate_array_split
November 5, 2024 23:11 1m 34s
chore: deprecate Array.split in favour of identical Array.partition Nix CI #20626: Pull request #5970 synchronize by kim-em
November 5, 2024 23:11 14m 44s deprecate_array_split
deprecate_array_split
November 5, 2024 23:11 14m 44s
feat: relate Array.isPrefixOf with List.isPrefixOf Check PR title for commit convention #11199: Pull request #5971 opened by kim-em
November 5, 2024 23:08 11s relate_isPrefixOf
relate_isPrefixOf
November 5, 2024 23:08 11s
feat: relate Array.isPrefixOf with List.isPrefixOf Nix CI #20625: Pull request #5971 opened by kim-em
November 5, 2024 23:08 10m 22s relate_isPrefixOf
relate_isPrefixOf
November 5, 2024 23:08 10m 22s