Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
269,381 workflow runs
269,381 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR release PR release #42913: completed by github-merge-queue bot
1s
1s
Grove Grove #14403: completed by github-merge-queue bot
2m 42s
2m 42s
Label stale PRs Label stale PRs #881: Scheduled
17s master
master
17s
PR release PR release #42912: completed by leodemoura
17s
17s
Grove Grove #14402: completed by leodemoura
15s
15s
PR release PR release #42911: completed by github-merge-queue bot
1s
1s
Grove Grove #14401: completed by github-merge-queue bot
1s
1s
internal grind error, term has not been internalized Jira sync #950: Issue #12428 closed by leodemoura
8s
8s
fix: handle non-internalized terms in semiring reifier Backport #17109: Pull request #12474 closed by leodemoura
7s
7s
fix: handle non-internalized terms in semiring reifier (#12474) CI #51902: Commit 187a8c1 pushed by github-merge-queue bot
59m 32s master
master
59m 32s
fix: handle non-internalized terms in semiring reifier (#12474) Update stage0 #7252: Commit 187a8c1 pushed by github-merge-queue bot
41s master
master
41s
Grove Grove #14400: completed by leodemoura
13s
13s
PR release PR release #42910: completed by leodemoura
1s
1s
Grove Grove #14399: completed by leodemoura
16s
16s
PR release PR release #42909: completed by leodemoura
11s
11s
Check for stage0 changes Check for stage0 changes #28620: Merge group checks requested
37s
37s
CI CI #51901: Merge group checks requested
19m 35s
19m 35s
Check PR body for changelog convention Check PR body for changelog convention #33939: Merge group checks requested
5s
5s
Check PR title for commit convention Check PR title for commit convention #37236: Merge group checks requested
7s
7s
Check awaiting-manual label Check awaiting-manual label #14678: Merge group checks requested
6s
6s
Actionlint Actionlint #8577: Merge group checks requested
39s
39s
Check awaiting-mathlib label Check awaiting-mathlib label #22348: Merge group checks requested
18s
18s
grind panic: assertion violation in mkEqProofImpl when goal contains metavariables Jira sync #949: Issue #12246 closed by leodemoura
7s
7s
fix: assertion violation in mkEqProofImpl Backport #17108: Pull request #12473 closed by leodemoura
6s
6s
fix: assertion violation in mkEqProofImpl (#12473) CI #51900: Commit e579dfd pushed by github-merge-queue bot
23m 43s master
master
23m 43s