Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
104,418 workflow run results
104,418 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR release PR release #16240: completed by kim-em
December 14, 2024 22:21 2m 53s
December 14, 2024 22:21 2m 53s
test: add test for issue #4585 Label PR based on Comment #8720: Issue comment #6384 (comment) created by leanprover-community-bot
December 14, 2024 22:15 2s
December 14, 2024 22:15 2s
CI CI #25624: Merge group checks requested
December 14, 2024 22:12 22m 32s
December 14, 2024 22:12 22m 32s
Check PR title for commit convention Check PR title for commit convention #12954: Merge group checks requested
December 14, 2024 22:12 8s
December 14, 2024 22:12 8s
Check PR body for changelog convention Check PR body for changelog convention #2136: Merge group checks requested
December 14, 2024 22:12 12s
December 14, 2024 22:12 12s
Check for stage0 changes Check for stage0 changes #7583: Merge group checks requested
December 14, 2024 22:12 35s
December 14, 2024 22:12 35s
Actionlint Actionlint #3026: Merge group checks requested
December 14, 2024 22:12 47s
December 14, 2024 22:12 47s
Nix CI Nix CI #22358: Merge group checks requested
December 14, 2024 22:12 8m 4s
December 14, 2024 22:12 8m 4s
PR release PR release #16239: completed by leodemoura
December 14, 2024 22:12 3m 40s
December 14, 2024 22:12 3m 40s
feat: replace List.lt with List.Lex Check PR title for commit convention #12953: Pull request #6379 synchronize by kim-em
December 14, 2024 22:07 9s lex_prime
lex_prime
December 14, 2024 22:07 9s
feat: replace List.lt with List.Lex Check for modules that should use `prelude` #6994: Pull request #6379 synchronize by kim-em
December 14, 2024 22:07 19s lex_prime
lex_prime
December 14, 2024 22:07 19s
feat: replace List.lt with List.Lex Check PR body for changelog convention #2135: Pull request #6379 synchronize by kim-em
December 14, 2024 22:07 13s lex_prime
lex_prime
December 14, 2024 22:07 13s
feat: replace List.lt with List.Lex Check for copyright header #7149: Pull request #6379 synchronize by kim-em
December 14, 2024 22:07 34s lex_prime
lex_prime
December 14, 2024 22:07 34s
feat: replace List.lt with List.Lex Check for stage0 changes #7582: Pull request #6379 synchronize by kim-em
December 14, 2024 22:07 40s lex_prime
lex_prime
December 14, 2024 22:07 40s
feat: replace List.lt with List.Lex Nix CI #22357: Pull request #6379 synchronize by kim-em
December 14, 2024 22:07 11m 33s lex_prime
lex_prime
December 14, 2024 22:07 11m 33s
feat: replace List.lt with List.Lex CI #25623: Pull request #6379 synchronize by kim-em
December 14, 2024 22:07 13m 29s lex_prime
lex_prime
December 14, 2024 22:07 13m 29s
test: add test for issue #4585 Check PR body for changelog convention #2133: Pull request #6384 labeled by leodemoura
December 14, 2024 21:53 9s issue_4585
issue_4585
December 14, 2024 21:53 9s
test: add test for issue #4585 Check PR title for commit convention #12952: Pull request #6384 opened by leodemoura
December 14, 2024 21:53 11s issue_4585
issue_4585
December 14, 2024 21:53 11s
test: add test for issue #4585 Check for modules that should use `prelude` #6993: Pull request #6384 opened by leodemoura
December 14, 2024 21:53 12s issue_4585
issue_4585
December 14, 2024 21:53 12s
test: add test for issue #4585 Check PR body for changelog convention #2134: Pull request #6384 opened by leodemoura
December 14, 2024 21:53 12s issue_4585
issue_4585
December 14, 2024 21:53 12s
test: add test for issue #4585 Check for stage0 changes #7581: Pull request #6384 opened by leodemoura
December 14, 2024 21:53 41s issue_4585
issue_4585
December 14, 2024 21:53 41s
test: add test for issue #4585 Check for copyright header #7148: Pull request #6384 opened by leodemoura
December 14, 2024 21:53 37s issue_4585
issue_4585
December 14, 2024 21:53 37s
test: add test for issue #4585 Nix CI #22356: Pull request #6384 opened by leodemoura
December 14, 2024 21:53 8m 42s issue_4585
issue_4585
December 14, 2024 21:53 8m 42s
test: add test for issue #4585 CI #25622: Pull request #6384 opened by leodemoura
December 14, 2024 21:53 18m 16s issue_4585
issue_4585
December 14, 2024 21:53 18m 16s
test: add test for issue #4585 Backport #5801: Pull request #6384 labeled by leodemoura
December 14, 2024 21:53 2s
December 14, 2024 21:53 2s