Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
38,932 workflow run results
38,932 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refactor: lake: import errors, job captions, log grouping Check PR title for commit convention #4435: Pull request #4115 edited by tydeu
May 10, 2024 22:18 9s tydeu:lake/log-grouping
tydeu:lake/log-grouping
May 10, 2024 22:18 9s
refactor: lake: import errors, job captions, log grouping Check PR title for commit convention #4434: Pull request #4115 edited by tydeu
May 10, 2024 22:18 9s tydeu:lake/log-grouping
tydeu:lake/log-grouping
May 10, 2024 22:18 9s
refactor: lake: import errors, job captions, log grouping Check PR title for commit convention #4433: Pull request #4115 edited by tydeu
May 10, 2024 22:15 11s tydeu:lake/log-grouping
tydeu:lake/log-grouping
May 10, 2024 22:15 11s
refactor: add tryCatchRuntimeEx combinator Check PR title for commit convention #4432: Pull request #4129 opened by leodemoura
May 10, 2024 22:15 11s tryCatchRuntimeEx
tryCatchRuntimeEx
May 10, 2024 22:15 11s
refactor: add tryCatchRuntimeEx combinator Check for modules that should use `prelude` #1543: Pull request #4129 opened by leodemoura
May 10, 2024 22:15 13s tryCatchRuntimeEx
tryCatchRuntimeEx
May 10, 2024 22:15 13s
refactor: add tryCatchRuntimeEx combinator Check for copyright header #1698: Pull request #4129 opened by leodemoura
May 10, 2024 22:15 27s tryCatchRuntimeEx
tryCatchRuntimeEx
May 10, 2024 22:15 27s
refactor: add tryCatchRuntimeEx combinator Check for stage0 changes #470: Pull request #4129 opened by leodemoura
May 10, 2024 22:15 27s tryCatchRuntimeEx
tryCatchRuntimeEx
May 10, 2024 22:15 27s
refactor: add tryCatchRuntimeEx combinator Nix CI #13644: Pull request #4129 opened by leodemoura
May 10, 2024 22:15 18m 20s tryCatchRuntimeEx
tryCatchRuntimeEx
May 10, 2024 22:15 18m 20s
refactor: add tryCatchRuntimeEx combinator CI #16663: Pull request #4129 opened by leodemoura
May 10, 2024 22:15 15m 50s tryCatchRuntimeEx
tryCatchRuntimeEx
May 10, 2024 22:15 15m 50s
refactor: lake: import errors, job captions, log grouping Check PR title for commit convention #4431: Pull request #4115 edited by tydeu
May 10, 2024 22:14 12s tydeu:lake/log-grouping
tydeu:lake/log-grouping
May 10, 2024 22:14 12s
refactor: lake: import errors, job captions, log grouping Check PR title for commit convention #4430: Pull request #4115 edited by tydeu
May 10, 2024 22:11 10s tydeu:lake/log-grouping
tydeu:lake/log-grouping
May 10, 2024 22:11 10s
refactor: lake: import errors, job captions, log grouping Backport #2300: Pull request #4115 labeled by tydeu
May 10, 2024 22:10 2s
May 10, 2024 22:10 2s
refactor: lake: import errors, job captions, log grouping Nix CI #13643: Pull request #4115 labeled by tydeu
May 10, 2024 22:10 2m 37s tydeu:lake/log-grouping
tydeu:lake/log-grouping
May 10, 2024 22:10 2m 37s
refactor: lake: import errors, job captions, log grouping CI #16662: Pull request #4115 labeled by tydeu
May 10, 2024 22:10 15m 20s tydeu:lake/log-grouping
tydeu:lake/log-grouping
May 10, 2024 22:10 15m 20s
refactor: lake: import errors, job captions, log grouping Check PR title for commit convention #4429: Pull request #4115 edited by tydeu
May 10, 2024 22:10 12s tydeu:lake/log-grouping
tydeu:lake/log-grouping
May 10, 2024 22:10 12s
PR release PR release #7021: completed by tydeu
May 10, 2024 22:08 2m 15s
May 10, 2024 22:08 2m 15s
refactor: lake: import errors, job captions, log grouping Check PR title for commit convention #4428: Pull request #4115 edited by tydeu
May 10, 2024 22:07 9s tydeu:lake/log-grouping
tydeu:lake/log-grouping
May 10, 2024 22:07 9s
PR release PR release #7020: completed by github-merge-queue bot
May 10, 2024 21:58 1s
May 10, 2024 21:58 1s
PR release PR release #7019: completed by tydeu
May 10, 2024 21:55 2m 16s
May 10, 2024 21:55 2m 16s
Nix CI Nix CI #13642: Merge group checks requested
May 10, 2024 21:55 11m 34s
May 10, 2024 21:55 11m 34s
Check PR title for commit convention Check PR title for commit convention #4427: Merge group checks requested
May 10, 2024 21:55 12s
May 10, 2024 21:55 12s
Check for stage0 changes Check for stage0 changes #469: Merge group checks requested
May 10, 2024 21:55 34s
May 10, 2024 21:55 34s
Actionlint Actionlint #1008: Merge group checks requested
May 10, 2024 21:55 30s
May 10, 2024 21:55 30s
CI CI #16661: Merge group checks requested
May 10, 2024 21:55 44m 7s
May 10, 2024 21:55 44m 7s
PR release PR release #7018: completed by leodemoura
May 10, 2024 21:54 2m 27s
May 10, 2024 21:54 2m 27s