Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR release PR release #16245: completed by leodemoura
December 14, 2024 23:57 4m 13s
December 14, 2024 23:57 4m 13s
feat: replace List.lt with List.Lex Restart by label #2239: Pull request #6379 labeled by leanprover-community-bot
December 14, 2024 23:54 1s
December 14, 2024 23:54 1s
feat: replace List.lt with List.Lex Backport #5807: Pull request #6379 labeled by leanprover-community-bot
December 14, 2024 23:54 2s
December 14, 2024 23:54 2s
feat: replace List.lt with List.Lex Restart by label #2238: Pull request #6379 unlabeled by leanprover-community-bot
December 14, 2024 23:54 3s
December 14, 2024 23:54 3s
feat: replace List.lt with List.Lex Check PR body for changelog convention #2143: Pull request #6379 labeled by leanprover-community-bot
December 14, 2024 23:54 15s lex_prime
lex_prime
December 14, 2024 23:54 15s
fix: revertAll must clear auxiliary declarations Nix CI #22363: Pull request #6386 opened by leodemoura
December 14, 2024 23:40 6m 22s issue_6263
issue_6263
December 14, 2024 23:40 6m 22s
fix: revertAll must clear auxiliary declarations CI #25629: Pull request #6386 opened by leodemoura
December 14, 2024 23:40 17m 40s issue_6263
issue_6263
December 14, 2024 23:40 17m 40s
fix: revertAll must clear auxiliary declarations Check for modules that should use `prelude` #6996: Pull request #6386 opened by leodemoura
December 14, 2024 23:40 16s issue_6263
issue_6263
December 14, 2024 23:40 16s
fix: revertAll must clear auxiliary declarations Check PR title for commit convention #12957: Pull request #6386 opened by leodemoura
December 14, 2024 23:40 11s issue_6263
issue_6263
December 14, 2024 23:40 11s
fix: revertAll must clear auxiliary declarations Check for stage0 changes #7586: Pull request #6386 opened by leodemoura
December 14, 2024 23:40 36s issue_6263
issue_6263
December 14, 2024 23:40 36s
fix: revertAll must clear auxiliary declarations Check for copyright header #7151: Pull request #6386 opened by leodemoura
December 14, 2024 23:40 37s issue_6263
issue_6263
December 14, 2024 23:40 37s
fix: revertAll must clear auxiliary declarations Restart by label #2237: Pull request #6386 labeled by leodemoura
December 14, 2024 23:40 2s
December 14, 2024 23:40 2s
fix: revertAll must clear auxiliary declarations Backport #5806: Pull request #6386 labeled by leodemoura
December 14, 2024 23:40 2s
December 14, 2024 23:40 2s
fix: revertAll must clear auxiliary declarations Check PR body for changelog convention #2141: Pull request #6386 labeled by leodemoura
December 14, 2024 23:40 9s issue_6263
issue_6263
December 14, 2024 23:40 9s
fix: revertAll must clear auxiliary declarations Check PR body for changelog convention #2142: Pull request #6386 opened by leodemoura
December 14, 2024 23:40 10s issue_6263
issue_6263
December 14, 2024 23:40 10s
simp_all? omits unfolded let hypotheses Jira sync #283: Issue #3519 closed by leodemoura
December 14, 2024 23:37 10s
December 14, 2024 23:37 10s
fix: simp_all? local declarations Backport #5805: Pull request #6385 closed by leodemoura
December 14, 2024 23:37 11s
December 14, 2024 23:37 11s
fix: simp_all? local declarations (#6385) Update stage0 #2368: Commit 94641e8 pushed by github-merge-queue bot
December 14, 2024 23:37 31s master
master
December 14, 2024 23:37 31s
fix: simp_all? local declarations (#6385) Nix CI #22362: Commit 94641e8 pushed by github-merge-queue bot
December 14, 2024 23:37 9m 39s master
master
December 14, 2024 23:37 9m 39s
fix: simp_all? local declarations (#6385) CI #25628: Commit 94641e8 pushed by github-merge-queue bot
December 14, 2024 23:37 24m 14s master
master
December 14, 2024 23:37 24m 14s
PR release PR release #16244: completed by leodemoura
December 14, 2024 23:37 2s
December 14, 2024 23:37 2s
fix: simp_all? local declarations Label PR based on Comment #8721: Issue comment #6385 (comment) created by leanprover-community-bot
December 14, 2024 23:17 3s
December 14, 2024 23:17 3s
CI CI #25627: Merge group checks requested
December 14, 2024 23:13 23m 38s
December 14, 2024 23:13 23m 38s
Check PR title for commit convention Check PR title for commit convention #12956: Merge group checks requested
December 14, 2024 23:13 12s
December 14, 2024 23:13 12s
Check PR body for changelog convention Check PR body for changelog convention #2140: Merge group checks requested
December 14, 2024 23:13 7s
December 14, 2024 23:13 7s