Skip to content

Actions: leanprover/lean4

Actions

Restart by label

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
restart-on-label.yml
3,083 workflow runs
3,083 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

test: more equational theorem generation tests Restart by label #3033: Pull request #6952 labeled by nomeata
February 4, 2025 21:52 2s
February 4, 2025 21:52 2s
feat: improve simp trace formatting Restart by label #3032: Pull request #6951 labeled by leanprover-community-bot
February 4, 2025 16:56 2s
February 4, 2025 16:56 2s
feat: binderNameHint Restart by label #3031: Pull request #6947 labeled by nomeata
February 4, 2025 14:43 2s
February 4, 2025 14:43 2s
feat: improve simp trace formatting Restart by label #3030: Pull request #6951 labeled by nomeata
February 4, 2025 14:43 2s
February 4, 2025 14:43 2s
feat: opaque_repr attribute to suppress "trivial structure" opt Restart by label #3029: Pull request #2292 labeled by leanprover-bot
February 4, 2025 14:31 2s
February 4, 2025 14:31 2s
feat: add BitVec.[(getMsbD, msb)_extractLsb', (getLsbD, getMsbD, msb)_extractLsb] Restart by label #3028: Pull request #6792 labeled by leanprover-bot
February 4, 2025 14:30 2s
February 4, 2025 14:30 2s
feat: add BitVec.(getElem_umod_of_lt, getElem_umod, getLsbD_umod, getMsbD_umod) Restart by label #3027: Pull request #6795 labeled by leanprover-bot
February 4, 2025 14:30 2s
February 4, 2025 14:30 2s
chore: change Lake configuration error message Restart by label #3026: Pull request #6829 labeled by leanprover-bot
February 4, 2025 14:30 3s
February 4, 2025 14:30 3s
feat: align List/Array/Vector.insertIdx lemmas Restart by label #3025: Pull request #6948 labeled by leanprover-community-bot
February 4, 2025 13:34 2s
February 4, 2025 13:34 2s
doc: style guide and naming convention for the standard library Restart by label #3024: Pull request #6950 labeled by TwoFX
February 4, 2025 12:49 2s
February 4, 2025 12:49 2s
feat: binderNameHint Restart by label #3023: Pull request #6947 labeled by leanprover-community-bot
February 4, 2025 12:47 2s
February 4, 2025 12:47 2s
perf: use free_sized in mpz.cpp Restart by label #3022: Pull request #6825 labeled by Kha
February 4, 2025 12:45 44s
February 4, 2025 12:45 44s
feat: align List/Array/Vector.insertIdx lemmas Restart by label #3021: Pull request #6948 labeled by kim-em
February 4, 2025 12:02 3s
February 4, 2025 12:02 3s
feat: basic support for handling enum inductives in bv_decide Restart by label #3020: Pull request #6946 labeled by leanprover-community-bot
February 4, 2025 11:41 2s
February 4, 2025 11:41 2s
feat: basic support for handling enum inductives in bv_decide Restart by label #3019: Pull request #6946 labeled by hargoniX
February 4, 2025 09:47 2s
February 4, 2025 09:47 2s
fix: #discr_tree_simp_key shouldn't look into lhs of ≠ Restart by label #3018: Pull request #6936 labeled by nomeata
February 4, 2025 08:43 2s
February 4, 2025 08:43 2s
fix: set iota := true in simpGlobalConfig Restart by label #3017: Pull request #6909 labeled by leanprover-community-bot
February 4, 2025 06:48 2s
February 4, 2025 06:48 2s
fix: set iota := true in simpGlobalConfig Restart by label #3016: Pull request #6909 unlabeled by leanprover-community-bot
February 4, 2025 06:48 2s
February 4, 2025 06:48 2s
fix: show error messages on name conflicts in mutual blocks Restart by label #3015: Pull request #6939 labeled by leanprover-community-bot
February 4, 2025 04:50 2s
February 4, 2025 04:50 2s
feat: improve grind case-split on Iff Restart by label #3014: Pull request #6940 labeled by leodemoura
February 4, 2025 04:17 3s
February 4, 2025 04:17 3s
fix: make name unresolution consistent and avoid auxiliary names Restart by label #3013: Pull request #6938 labeled by leanprover-community-bot
February 4, 2025 03:51 2s
February 4, 2025 03:51 2s
feat: TCP socket support using LibUV Restart by label #3012: Pull request #6683 labeled by algebraic-dev
February 4, 2025 03:39 1s
February 4, 2025 03:39 1s
feat: TCP socket support using LibUV Restart by label #3011: Pull request #6683 labeled by algebraic-dev
February 4, 2025 03:39 2s
February 4, 2025 03:39 2s
feat: improve some files separation and standardize error messages in UV modules Restart by label #3010: Pull request #6830 labeled by algebraic-dev
February 4, 2025 03:37 2s
February 4, 2025 03:37 2s
fix: show error messages on name conflicts in mutual blocks Restart by label #3009: Pull request #6939 labeled by jrr6
February 4, 2025 03:36 1s
February 4, 2025 03:36 1s