Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: arg conv tactic misreported number of arguments on error Label PR based on Comment #7848: Issue comment #5968 (comment) created by leanprover-community-bot
November 5, 2024 20:53 2s
November 5, 2024 20:53 2s
PR release PR release #14424: completed by kmill
November 5, 2024 20:49 4m 39s
November 5, 2024 20:49 4m 39s
chore: fix all_goals test, simulate the max rec depth error Backport #4967: Pull request #5967 closed by kmill
November 5, 2024 20:35 11s
November 5, 2024 20:35 11s
chore: fix all_goals test, simulate the max rec depth error (#5967) Update stage0 #2067: Commit c31daec pushed by github-merge-queue bot
November 5, 2024 20:35 34s master
master
November 5, 2024 20:35 34s
chore: fix all_goals test, simulate the max rec depth error (#5967) CI #23840: Commit c31daec pushed by github-merge-queue bot
November 5, 2024 20:35 26m 58s master
master
November 5, 2024 20:35 26m 58s
chore: fix all_goals test, simulate the max rec depth error (#5967) Nix CI #20621: Commit c31daec pushed by github-merge-queue bot
November 5, 2024 20:35 10m 39s master
master
November 5, 2024 20:35 10m 39s
PR release PR release #14423: completed by kmill
November 5, 2024 20:35 2s
November 5, 2024 20:35 2s
PR release PR release #14422: completed by kmill
November 5, 2024 20:32 2s
November 5, 2024 20:32 2s
fix: arg conv tactic misreported number of arguments on error Check for modules that should use `prelude` #5913: Pull request #5968 synchronize by kmill
November 5, 2024 20:31 15s kmill:fix_conv_arg_error_msg
kmill:fix_conv_arg_error_msg
November 5, 2024 20:31 15s
fix: arg conv tactic misreported number of arguments on error Check PR title for commit convention #11196: Pull request #5968 synchronize by kmill
November 5, 2024 20:31 11s kmill:fix_conv_arg_error_msg
kmill:fix_conv_arg_error_msg
November 5, 2024 20:31 11s
fix: arg conv tactic misreported number of arguments on error Check for stage0 changes #6142: Pull request #5968 synchronize by kmill
November 5, 2024 20:31 39s kmill:fix_conv_arg_error_msg
kmill:fix_conv_arg_error_msg
November 5, 2024 20:31 39s
fix: arg conv tactic misreported number of arguments on error Check for copyright header #6068: Pull request #5968 synchronize by kmill
November 5, 2024 20:31 1m 48s kmill:fix_conv_arg_error_msg
kmill:fix_conv_arg_error_msg
November 5, 2024 20:31 1m 48s
fix: arg conv tactic misreported number of arguments on error CI #23839: Pull request #5968 synchronize by kmill
November 5, 2024 20:31 17m 30s kmill:fix_conv_arg_error_msg
kmill:fix_conv_arg_error_msg
November 5, 2024 20:31 17m 30s
fix: arg conv tactic misreported number of arguments on error Nix CI #20620: Pull request #5968 synchronize by kmill
November 5, 2024 20:31 7m 12s kmill:fix_conv_arg_error_msg
kmill:fix_conv_arg_error_msg
November 5, 2024 20:31 7m 12s
fix: arg conv tactic misreported number of arguments on error Check PR title for commit convention #11195: Pull request #5968 opened by kmill
November 5, 2024 20:27 1m 29s kmill:fix_conv_arg_error_msg
kmill:fix_conv_arg_error_msg
November 5, 2024 20:27 1m 29s
fix: arg conv tactic misreported number of arguments on error Nix CI #20619: Pull request #5968 opened by kmill
November 5, 2024 20:27 4m 48s kmill:fix_conv_arg_error_msg
kmill:fix_conv_arg_error_msg
November 5, 2024 20:27 4m 48s
fix: arg conv tactic misreported number of arguments on error CI #23838: Pull request #5968 opened by kmill
November 5, 2024 20:27 4m 49s kmill:fix_conv_arg_error_msg
kmill:fix_conv_arg_error_msg
November 5, 2024 20:27 4m 49s
fix: arg conv tactic misreported number of arguments on error Check for modules that should use `prelude` #5912: Pull request #5968 opened by kmill
November 5, 2024 20:27 17s kmill:fix_conv_arg_error_msg
kmill:fix_conv_arg_error_msg
November 5, 2024 20:27 17s
fix: arg conv tactic misreported number of arguments on error Check for copyright header #6067: Pull request #5968 opened by kmill
November 5, 2024 20:27 29s kmill:fix_conv_arg_error_msg
kmill:fix_conv_arg_error_msg
November 5, 2024 20:27 29s
fix: arg conv tactic misreported number of arguments on error Check for stage0 changes #6141: Pull request #5968 opened by kmill
November 5, 2024 20:27 43s kmill:fix_conv_arg_error_msg
kmill:fix_conv_arg_error_msg
November 5, 2024 20:27 43s
CI CI #23837: Merge group checks requested
November 5, 2024 20:09 25m 46s
November 5, 2024 20:09 25m 46s
Nix CI Nix CI #20618: Merge group checks requested
November 5, 2024 20:09 9m 19s
November 5, 2024 20:09 9m 19s
Actionlint Actionlint #2615: Merge group checks requested
November 5, 2024 20:09 36s
November 5, 2024 20:09 36s
Check for stage0 changes Check for stage0 changes #6140: Merge group checks requested
November 5, 2024 20:09 35s
November 5, 2024 20:09 35s
Check PR title for commit convention Check PR title for commit convention #11194: Merge group checks requested
November 5, 2024 20:09 13s
November 5, 2024 20:09 13s