Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
79,555 workflow run results
79,555 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR release PR release #12591: completed by kmill
September 27, 2024 19:24 2s
September 27, 2024 19:24 2s
Actionlint Actionlint #2217: Merge group checks requested
September 27, 2024 19:12 34s
September 27, 2024 19:12 34s
Check PR title for commit convention Check PR title for commit convention #9428: Merge group checks requested
September 27, 2024 19:12 11s
September 27, 2024 19:12 11s
Check for stage0 changes Check for stage0 changes #4714: Merge group checks requested
September 27, 2024 19:12 38s
September 27, 2024 19:12 38s
Nix CI Nix CI #18865: Merge group checks requested
September 27, 2024 19:12 9m 56s
September 27, 2024 19:12 9m 56s
CI CI #22039: Merge group checks requested
September 27, 2024 19:12 19m 40s
September 27, 2024 19:12 19m 40s
PR release PR release #12590: completed by kmill
September 27, 2024 19:12 2m 45s
September 27, 2024 19:12 2m 45s
Check PR title for commit convention Check PR title for commit convention #9427: Merge group checks requested
September 27, 2024 19:01 11s
September 27, 2024 19:01 11s
Actionlint Actionlint #2216: Merge group checks requested
September 27, 2024 19:01 38s
September 27, 2024 19:01 38s
Check for stage0 changes Check for stage0 changes #4713: Merge group checks requested
September 27, 2024 19:01 38s
September 27, 2024 19:01 38s
CI CI #22038: Merge group checks requested
September 27, 2024 19:01 23m 21s
September 27, 2024 19:01 23m 21s
Nix CI Nix CI #18864: Merge group checks requested
September 27, 2024 19:01 10m 0s
September 27, 2024 19:01 10m 0s
PR release PR release #12589: completed by kmill
September 27, 2024 19:01 2m 36s
September 27, 2024 19:01 2m 36s
fix: refine how named arguments suppress explicit arguments Check for copyright header #4981: Pull request #5283 synchronize by kmill
September 27, 2024 18:57 32s explicit_inst_holes
explicit_inst_holes
September 27, 2024 18:57 32s
fix: refine how named arguments suppress explicit arguments Check PR title for commit convention #9426: Pull request #5283 synchronize by kmill
September 27, 2024 18:57 13s explicit_inst_holes
explicit_inst_holes
September 27, 2024 18:57 13s
fix: refine how named arguments suppress explicit arguments Check for modules that should use `prelude` #4826: Pull request #5283 synchronize by kmill
September 27, 2024 18:57 16s explicit_inst_holes
explicit_inst_holes
September 27, 2024 18:57 16s
fix: refine how named arguments suppress explicit arguments Check for stage0 changes #4712: Pull request #5283 synchronize by kmill
September 27, 2024 18:57 38s explicit_inst_holes
explicit_inst_holes
September 27, 2024 18:57 38s
fix: refine how named arguments suppress explicit arguments CI #22037: Pull request #5283 synchronize by kmill
September 27, 2024 18:57 14m 44s explicit_inst_holes
explicit_inst_holes
September 27, 2024 18:57 14m 44s
fix: refine how named arguments suppress explicit arguments Nix CI #18863: Pull request #5283 synchronize by kmill
September 27, 2024 18:57 13m 21s explicit_inst_holes
explicit_inst_holes
September 27, 2024 18:57 13m 21s
feat: have autoparams report parameter/field on failure Check PR title for commit convention #9425: Pull request #5474 edited by kmill
September 27, 2024 18:51 11s kmill:fix_2950
kmill:fix_2950
September 27, 2024 18:51 11s
feat: have autoparams report parameter/field on failure Check PR title for commit convention #9424: Pull request #5474 edited by kmill
September 27, 2024 18:49 12s kmill:fix_2950
kmill:fix_2950
September 27, 2024 18:49 12s
feat: have autoparams report parameter/field on failure CI #22036: Pull request #5474 synchronize by kmill
September 27, 2024 18:39 21m 44s kmill:fix_2950
kmill:fix_2950
September 27, 2024 18:39 21m 44s
feat: have autoparams report parameter/field on failure Nix CI #18862: Pull request #5474 synchronize by kmill
September 27, 2024 18:39 13m 55s kmill:fix_2950
kmill:fix_2950
September 27, 2024 18:39 13m 55s
feat: have autoparams report parameter/field on failure Check PR title for commit convention #9423: Pull request #5474 synchronize by kmill
September 27, 2024 18:39 10s kmill:fix_2950
kmill:fix_2950
September 27, 2024 18:39 10s
feat: have autoparams report parameter/field on failure Check for modules that should use `prelude` #4825: Pull request #5474 synchronize by kmill
September 27, 2024 18:39 17s kmill:fix_2950
kmill:fix_2950
September 27, 2024 18:39 17s