Skip to content

Actions: leanprover/lean4

Actions

Check for stage0 changes

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-stage0.yml
8,347 workflow runs
8,347 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Check for stage0 changes Check for stage0 changes #8251: Merge group checks requested
January 12, 2025 23:09 37s
January 12, 2025 23:09 37s
feat: avoid some redundant proof terms in grind Check for stage0 changes #8250: Pull request #6615 opened by leodemoura
January 12, 2025 22:49 38s eq_true_opt
eq_true_opt
January 12, 2025 22:49 38s
feat: elaborate theorem bodies in parallel Check for stage0 changes #8249: Pull request #5864 synchronize by Kha
January 12, 2025 21:27 41s Kha:async-proofs
Kha:async-proofs
January 12, 2025 21:27 41s
refactor: move registration of namespaces on kernel add into elaborator Check for stage0 changes #8248: Pull request #6214 synchronize by Kha
January 12, 2025 21:27 43s Kha:push-vwrqzpymymss
Kha:push-vwrqzpymymss
January 12, 2025 21:27 43s
feat: asynchronous kernel checking Check for stage0 changes #8247: Pull request #6368 synchronize by Kha
January 12, 2025 21:27 36s Kha:async-tc
Kha:async-tc
January 12, 2025 21:27 36s
feat: split Lean.Kernel.Environment from Lean.Environment Check for stage0 changes #8246: Pull request #5145 synchronize by Kha
January 12, 2025 21:27 35s Kha:kernel-env
Kha:kernel-env
January 12, 2025 21:27 35s
Check for stage0 changes Check for stage0 changes #8245: Merge group checks requested
January 12, 2025 20:38 39s
January 12, 2025 20:38 39s
feat: offset constraints support for the grind tactic Check for stage0 changes #8244: Pull request #6603 synchronize by leodemoura
January 12, 2025 20:24 39s grind_offset_arith
grind_offset_arith
January 12, 2025 20:24 39s
feat: offset constraints support for the grind tactic Check for stage0 changes #8243: Pull request #6603 synchronize by leodemoura
January 12, 2025 20:20 36s grind_offset_arith
grind_offset_arith
January 12, 2025 20:20 36s
feat: offset constraints support for the grind tactic Check for stage0 changes #8242: Pull request #6603 synchronize by leodemoura
January 12, 2025 19:48 39s grind_offset_arith
grind_offset_arith
January 12, 2025 19:48 39s
feat: offset constraints support for the grind tactic Check for stage0 changes #8241: Pull request #6603 synchronize by leodemoura
January 12, 2025 19:19 35s grind_offset_arith
grind_offset_arith
January 12, 2025 19:19 35s
feat: offset constraints support for the grind tactic Check for stage0 changes #8240: Pull request #6603 synchronize by leodemoura
January 12, 2025 18:46 35s grind_offset_arith
grind_offset_arith
January 12, 2025 18:46 35s
feat: offset constraints support for the grind tactic Check for stage0 changes #8239: Pull request #6603 synchronize by leodemoura
January 12, 2025 18:14 41s grind_offset_arith
grind_offset_arith
January 12, 2025 18:14 41s
Check for stage0 changes Check for stage0 changes #8238: Merge group checks requested
January 12, 2025 17:18 32s
January 12, 2025 17:18 32s
Check for stage0 changes Check for stage0 changes #8237: Merge group checks requested
January 12, 2025 16:51 37s
January 12, 2025 16:51 37s
feat: improve [grind =] attribute Check for stage0 changes #8236: Pull request #6614 synchronize by leodemoura
January 12, 2025 16:37 37s grind_pattern_selection
grind_pattern_selection
January 12, 2025 16:37 37s
fix: allow dot idents to resolve to local names Check for stage0 changes #8235: Pull request #6602 synchronize by cppio
January 12, 2025 16:24 37s cppio:dot-ident-mutual
cppio:dot-ident-mutual
January 12, 2025 16:24 37s
feat: improve [grind =] attribute Check for stage0 changes #8234: Pull request #6614 opened by leodemoura
January 12, 2025 16:13 35s grind_pattern_selection
grind_pattern_selection
January 12, 2025 16:13 35s
Check for stage0 changes Check for stage0 changes #8233: Merge group checks requested
January 12, 2025 15:40 37s
January 12, 2025 15:40 37s
feat: improve case split heuristic used in grind Check for stage0 changes #8232: Pull request #6613 opened by leodemoura
January 12, 2025 15:19 35s grind_iff_improve
grind_iff_improve
January 12, 2025 15:19 35s
Check for stage0 changes Check for stage0 changes #8231: Merge group checks requested
January 12, 2025 10:20 32s
January 12, 2025 10:20 32s
feat: lemmas about Array.append Check for stage0 changes #8230: Pull request #6612 synchronize by kim-em
January 12, 2025 09:57 40s array_append
array_append
January 12, 2025 09:57 40s
feat: lemmas about Array.append Check for stage0 changes #8229: Pull request #6612 synchronize by kim-em
January 12, 2025 09:57 39s array_append
array_append
January 12, 2025 09:57 39s
feat: lemmas about Array.append Check for stage0 changes #8228: Pull request #6612 opened by kim-em
January 12, 2025 08:41 39s array_append
array_append
January 12, 2025 08:41 39s
Check for stage0 changes Check for stage0 changes #8227: Merge group checks requested
January 12, 2025 08:37 34s
January 12, 2025 08:37 34s