Skip to content

Actions: leanprover/lean4

Actions

Check awaiting-mathlib label

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
awaiting-mathlib.yml
2,500+ workflow runs
2,500+ workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Check awaiting-mathlib label Check awaiting-mathlib label #27866: Merge group checks requested
10s
10s
fix: grind congruence-table invariant for lazy ite branches Check awaiting-mathlib label #27865: Pull request #13624 synchronize by leodemoura
6s
6s
Check awaiting-mathlib label Check awaiting-mathlib label #27864: Merge group checks requested
6s
6s
fix: grind congruence-table invariant for lazy ite branches Check awaiting-mathlib label #27863: Pull request #13624 synchronize by leodemoura
7s
7s
Check awaiting-mathlib label Check awaiting-mathlib label #27862: Merge group checks requested
10s
10s
Check awaiting-mathlib label Check awaiting-mathlib label #27861: Merge group checks requested
7s
7s
fix: grind congruence-table invariant for lazy ite branches Check awaiting-mathlib label #27860: Pull request #13624 labeled by mathlib-lean-pr-testing Bot
8s
8s
Check awaiting-mathlib label Check awaiting-mathlib label #27859: Merge group checks requested
11s
11s
fix: grind cast internalization order Check awaiting-mathlib label #27858: Pull request #13625 labeled by leodemoura
7s
7s
fix: grind cast internalization order Check awaiting-mathlib label #27857: Pull request #13625 opened by leodemoura
7s
7s
fix: missing proof hints in grind propagators Check awaiting-mathlib label #27856: Pull request #13623 labeled by mathlib-lean-pr-testing Bot
8s
8s
Check awaiting-mathlib label Check awaiting-mathlib label #27855: Merge group checks requested
11s
11s
chore: update to mimalloc 3 Check awaiting-mathlib label #27854: Pull request #7786 synchronize by Kha
8s
8s
chore: update to mimalloc 3 Check awaiting-mathlib label #27853: Pull request #7786 synchronize by Kha
7s
7s
Check awaiting-mathlib label Check awaiting-mathlib label #27852: Merge group checks requested
5s
5s
Check awaiting-mathlib label Check awaiting-mathlib label #27851: Merge group checks requested
7s
7s
fix: another grind AC invariant Check awaiting-mathlib label #27850: Pull request #13622 labeled by mathlib-lean-pr-testing Bot
9s
9s
fix: missing proof hints in grind propagators Check awaiting-mathlib label #27849: Pull request #13623 synchronize by leodemoura
3m 19s
3m 19s
fix: grind congruence-table invariant for lazy ite branches Check awaiting-mathlib label #27848: Pull request #13624 labeled by leodemoura
5m 7s
5m 7s
fix: grind congruence-table invariant for lazy ite branches Check awaiting-mathlib label #27847: Pull request #13624 opened by leodemoura
5m 1s
5m 1s
fix: missing proof hints in grind propagators Check awaiting-mathlib label #27846: Pull request #13623 labeled by leodemoura
7s
7s
fix: missing proof hints in grind propagators Check awaiting-mathlib label #27845: Pull request #13623 opened by leodemoura
5s
5s
Check awaiting-mathlib label Check awaiting-mathlib label #27844: Merge group checks requested
8s
8s
fix: another grind AC invariant Check awaiting-mathlib label #27843: Pull request #13622 opened by leodemoura
5s
5s
fix: another grind AC invariant Check awaiting-mathlib label #27842: Pull request #13622 labeled by leodemoura
6s
6s