Skip to content

Actions: leanprover/lean4

Actions

Label PR based on Comment

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
labels-from-comments.yml
8,598 workflow runs
8,598 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add Nat.[shiftLeft_or_distrib, shiftLeft_xor_distrib, shiftLeft_and_distrib, testBit_mul_two_pow, bitwise_mul_two_pow, shiftLeft_bitwise_distrib] Label PR based on Comment #9241: Issue comment #6630 (comment) created by luisacicolini
January 16, 2025 08:46 14s
January 16, 2025 08:46 14s
feat: verify insertMany method for adding lists to HashMaps Label PR based on Comment #9240: Issue comment #6211 (comment) created by jt0202
January 16, 2025 08:06 2s
January 16, 2025 08:06 2s
RFC: type errors involving auto implicits should warn about auto implicits Label PR based on Comment #9239: Issue comment #6462 (comment) created by jthulhu
January 16, 2025 07:12 2s
January 16, 2025 07:12 2s
feat: add lcAny constant to Prelude Label PR based on Comment #9238: Issue comment #6665 (comment) created by leanprover-community-bot
January 16, 2025 06:59 2s
January 16, 2025 06:59 2s
fix: don't filter out local instances in LCNF toMono pass Label PR based on Comment #9237: Issue comment #6664 (comment) created by leanprover-community-bot
January 16, 2025 06:55 2s
January 16, 2025 06:55 2s
feat: add lcAny constant to Prelude Label PR based on Comment #9236: Issue comment #6665 (comment) created by zwarich
January 16, 2025 06:42 2s
January 16, 2025 06:42 2s
feat: Nat.decidableBallLT handles large numbers Label PR based on Comment #9235: Issue comment #6651 (comment) created by kim-em
January 16, 2025 06:33 2s
January 16, 2025 06:33 2s
feat: equality resolution for grind Label PR based on Comment #9234: Issue comment #6663 (comment) created by leanprover-community-bot
January 16, 2025 06:19 2s
January 16, 2025 06:19 2s
feat: canonicalizer diagnostics Label PR based on Comment #9233: Issue comment #6662 (comment) created by leanprover-community-bot
January 16, 2025 05:03 1s
January 16, 2025 05:03 1s
feat: Nat.decidableBallLT handles large numbers Label PR based on Comment #9232: Issue comment #6651 (comment) created by leanprover-bot
January 16, 2025 02:40 2s
January 16, 2025 02:40 2s
feat: Vector.getElem_flatMap Label PR based on Comment #9231: Issue comment #6661 (comment) created by leanprover-community-bot
January 16, 2025 02:39 2s
January 16, 2025 02:39 2s
feat: Nat.decidableBallLT handles large numbers Label PR based on Comment #9230: Issue comment #6651 (comment) created by llllvvuu
January 16, 2025 02:35 2s
January 16, 2025 02:35 2s
fix: reduce Eq.rec when mvars are present Label PR based on Comment #9229: Issue comment #6577 (comment) created by kim-em
January 16, 2025 02:23 2s
January 16, 2025 02:23 2s
feat: Nat.decidableBallLT handles large numbers Label PR based on Comment #9228: Issue comment #6651 (comment) created by kim-em
January 16, 2025 02:21 2s
January 16, 2025 02:21 2s
feat: Nat.decidableBallLT handles large numbers Label PR based on Comment #9227: Issue comment #6651 (comment) created by kim-em
January 16, 2025 02:20 2s
January 16, 2025 02:20 2s
feat: Vector.getElem_flatMap Label PR based on Comment #9226: Issue comment #6661 (comment) created by kim-em
January 16, 2025 02:17 1s
January 16, 2025 02:17 1s
feat: align List/Array/Vector.flatMap Label PR based on Comment #9225: Issue comment #6660 (comment) created by leanprover-community-bot
January 16, 2025 02:02 2s
January 16, 2025 02:02 2s
fix: grind term preprocessor Label PR based on Comment #9224: Issue comment #6659 (comment) created by leanprover-community-bot
January 16, 2025 01:26 1s
January 16, 2025 01:26 1s
feat: improve case-split heuristic used in grind Label PR based on Comment #9223: Issue comment #6658 (comment) created by leanprover-community-bot
January 16, 2025 00:21 2s
January 16, 2025 00:21 2s
feat: improve grind search procedure Label PR based on Comment #9222: Issue comment #6657 (comment) created by leanprover-community-bot
January 15, 2025 23:13 2s
January 15, 2025 23:13 2s
feat: add SMT-LIB overflow definitions for bitvectors (not_overflow,uadd_overflow,sadd_overflow,umul_overflow,smul_overflow) Label PR based on Comment #9221: Issue comment #6628 (comment) created by kim-em
January 15, 2025 23:01 2s
January 15, 2025 23:01 2s
refactor: lake: use StateRefT for BuildStore Label PR based on Comment #9220: Issue comment #6290 (comment) created by leanprover-bot
January 15, 2025 21:09 2s
January 15, 2025 21:09 2s
refactor: lake: use StateRefT for BuildStore Label PR based on Comment #9219: Issue comment #6290 (comment) created by leanprover-bot
January 15, 2025 21:09 1s
January 15, 2025 21:09 1s
refactor: lake: use StateRefT for BuildStore Label PR based on Comment #9218: Issue comment #6290 (comment) created by leanprover-bot
January 15, 2025 21:09 2s
January 15, 2025 21:09 2s
refactor: lake: use StateRefT for BuildStore Label PR based on Comment #9217: Issue comment #6290 (comment) created by tydeu
January 15, 2025 21:08 2s
January 15, 2025 21:08 2s