Skip to content

Actions: leanprover/lean4

Actions

Check awaiting-mathlib label

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
awaiting-mathlib.yml
19,703 workflow runs
19,703 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refactor: have telescope support Check awaiting-mathlib label #19710: Pull request #11914 labeled by leanprover-bot
6s simp_have_refactor
simp_have_refactor
6s
Check awaiting-mathlib label Check awaiting-mathlib label #19709: Merge group checks requested
8s
8s
refactor: have telescope support Check awaiting-mathlib label #19708: Pull request #11914 synchronize by leodemoura
5s simp_have_refactor
simp_have_refactor
5s
refactor: have telescope support Check awaiting-mathlib label #19707: Pull request #11914 opened by leodemoura
7s simp_have_refactor
simp_have_refactor
7s
refactor: have telescope support Check awaiting-mathlib label #19706: Pull request #11914 labeled by leodemoura
7s simp_have_refactor
simp_have_refactor
7s
feat: grind annotations for Init.Data.Nat.Div.Basic Check awaiting-mathlib label #19705: Pull request #11913 opened by pirapira
6s pirapira:grind-nat-div-basic
pirapira:grind-nat-div-basic
6s
doc: add missing docstrings to iterator library Check awaiting-mathlib label #19704: Pull request #11912 synchronize by david-christiansen
5s david-christiansen:missing-iterator-docs
david-christiansen:missing-iterator-docs
5s
doc: add missing docstrings to iterator library Check awaiting-mathlib label #19703: Pull request #11912 synchronize by david-christiansen
6s david-christiansen:missing-iterator-docs
david-christiansen:missing-iterator-docs
6s
test: benchmark engine_let_forall_exists_and.lean Check awaiting-mathlib label #19702: Pull request #11740 labeled by leanprover-community-bot
10s andres-erbsen:patch-1
andres-erbsen:patch-1
10s
feat: grind_pattern mod_eq_of_lt Check awaiting-mathlib label #19701: Pull request #11584 synchronize by pirapira
8s pirapira:grind_mod_eq_of_lt
pirapira:grind_mod_eq_of_lt
8s
test: benchmark engine_let_forall_exists_and.lean Check awaiting-mathlib label #19700: Pull request #11740 labeled by leanprover-bot
9s andres-erbsen:patch-1
andres-erbsen:patch-1
9s
doc: add missing docstrings to iterator library Check awaiting-mathlib label #19699: Pull request #11912 labeled by leanprover-community-bot
6s david-christiansen:missing-iterator-docs
david-christiansen:missing-iterator-docs
6s
feat: unbox inductives in the compiler Check awaiting-mathlib label #19698: Pull request #11873 synchronize by Rob23oba
7s Rob23oba:compiler-unbox-test
Rob23oba:compiler-unbox-test
7s
test: benchmark engine_let_forall_exists_and.lean Check awaiting-mathlib label #19697: Pull request #11740 synchronize by Kha
5s andres-erbsen:patch-1
andres-erbsen:patch-1
5s
doc: add missing docstrings to iterator library Check awaiting-mathlib label #19696: Pull request #11912 labeled by leanprover-bot
7s david-christiansen:missing-iterator-docs
david-christiansen:missing-iterator-docs
7s
doc: add missing docstrings to iterator library Check awaiting-mathlib label #19695: Pull request #11912 labeled by david-christiansen
5s david-christiansen:missing-iterator-docs
david-christiansen:missing-iterator-docs
5s
doc: add missing docstrings to iterator library Check awaiting-mathlib label #19694: Pull request #11912 opened by david-christiansen
7s david-christiansen:missing-iterator-docs
david-christiansen:missing-iterator-docs
7s
Check awaiting-mathlib label Check awaiting-mathlib label #19693: Merge group checks requested
5s
5s
Check awaiting-mathlib label Check awaiting-mathlib label #19692: Merge group checks requested
5s
5s
perf: replaceS and instantiateRevBetaS Check awaiting-mathlib label #19691: Pull request #11911 opened by leodemoura
6s sym_replaceS_perf
sym_replaceS_perf
6s
perf: replaceS and instantiateRevBetaS Check awaiting-mathlib label #19690: Pull request #11911 labeled by leodemoura
6s sym_replaceS_perf
sym_replaceS_perf
6s
feat: re-integrate lean4checker as leanchecker Check awaiting-mathlib label #19689: Pull request #11887 synchronize by kim-em
6s Kha:push-pwzqrnlnynxz
Kha:push-pwzqrnlnynxz
6s
Check awaiting-mathlib label Check awaiting-mathlib label #19688: Merge group checks requested
5s
5s
refactor: reorganize SymM and GrindM monad hierarchy Check awaiting-mathlib label #19687: Pull request #11909 labeled by leodemoura
9s SymM_refactor
SymM_refactor
9s
refactor: reorganize SymM and GrindM monad hierarchy Check awaiting-mathlib label #19686: Pull request #11909 opened by leodemoura
6s SymM_refactor
SymM_refactor
6s