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
6,954 workflow run results
6,954 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add udiv/umod bitblasting for bv_decide Label PR based on Comment #6883: Issue comment #5281 (comment) created by tobiasgrosser
September 26, 2024 02:20 1s
September 26, 2024 02:20 1s
chore: fix typos in Lean.MetavarContext Label PR based on Comment #6882: Issue comment #5476 (comment) created by leanprover-community-mathlib4-bot
September 26, 2024 00:28 2s
September 26, 2024 00:28 2s
feat: have autoparams report parameter/field on failure Label PR based on Comment #6881: Issue comment #5474 (comment) created by leanprover-community-bot
September 26, 2024 00:21 1s
September 26, 2024 00:21 1s
feat: have autoparams report parameter/field on failure Label PR based on Comment #6880: Issue comment #5474 (comment) created by leanprover-community-bot
September 25, 2024 23:49 3s
September 25, 2024 23:49 3s
feat: have autoparams report parameter/field on failure Label PR based on Comment #6879: Issue comment #5474 (comment) created by leanprover-community-bot
September 25, 2024 21:31 3s
September 25, 2024 21:31 3s
doc: fix typo in BitVec.mul docstring Label PR based on Comment #6878: Issue comment #5473 (comment) created by leanprover-community-mathlib4-bot
September 25, 2024 18:02 3s
September 25, 2024 18:02 3s
feat: WellFounded.fix to be kernel-irreducible Label PR based on Comment #6877: Issue comment #5182 (comment) created by nomeata
September 25, 2024 16:11 3s
September 25, 2024 16:11 3s
feat: expose Kernel.check for debugging purposes Label PR based on Comment #6876: Issue comment #5412 (comment) created by nomeata
September 25, 2024 16:10 3s
September 25, 2024 16:10 3s
feat: @[simp] lemmas about List.toArray Label PR based on Comment #6875: Issue comment #5472 (comment) created by leanprover-community-mathlib4-bot
September 25, 2024 11:38 2s
September 25, 2024 11:38 2s
feat: adjust simp attributes on monad lemmas Label PR based on Comment #6874: Issue comment #5464 (comment) created by leanprover-community-mathlib4-bot
September 25, 2024 10:22 2s
September 25, 2024 10:22 2s
doc: contradiction docstring indendation Label PR based on Comment #6873: Issue comment #5470 (comment) created by leanprover-community-mathlib4-bot
September 25, 2024 09:53 2s
September 25, 2024 09:53 2s
RFC: A single rfl tactic implementation Label PR based on Comment #6872: Issue comment #3302 (comment) created by nomeata
September 25, 2024 09:28 2s
September 25, 2024 09:28 2s
test: remove flaky test Label PR based on Comment #6871: Issue comment #5468 (comment) created by leanprover-community-bot
September 25, 2024 09:23 2s
September 25, 2024 09:23 2s
feat: adjust simp attributes on monad lemmas Label PR based on Comment #6870: Issue comment #5464 (comment) created by leanprover-community-bot
September 25, 2024 09:15 2s
September 25, 2024 09:15 2s
feat: add BitVec.[not_not, allOnes_shiftLeft_or_shiftLeft, allOnes_shiftLeft_and_shiftLeft] Label PR based on Comment #6869: Issue comment #5469 (comment) created by leanprover-community-mathlib4-bot
September 25, 2024 09:11 2s
September 25, 2024 09:11 2s
feat: adjust simp attributes on monad lemmas Label PR based on Comment #6868: Issue comment #5464 (comment) created by leanprover-community-bot
September 25, 2024 08:02 2s
September 25, 2024 08:02 2s
chore: upstream some monad lemmas Label PR based on Comment #6867: Issue comment #5463 (comment) created by leanprover-community-bot
September 25, 2024 07:31 1s
September 25, 2024 07:31 1s
feat: adjust simp attributes on monad lemmas Label PR based on Comment #6866: Issue comment #5464 (comment) created by leanprover-community-bot
September 25, 2024 07:10 2s
September 25, 2024 07:10 2s
feat: improve Array GetElem lemmas Label PR based on Comment #6865: Issue comment #5465 (comment) created by leanprover-community-mathlib4-bot
September 25, 2024 06:59 3s
September 25, 2024 06:59 3s
feat: adjust simp attributes on monad lemmas Label PR based on Comment #6864: Issue comment #5464 (comment) created by leanprover-community-bot
September 25, 2024 06:56 2s
September 25, 2024 06:56 2s
feat: Array.foldX lemmas Label PR based on Comment #6863: Issue comment #5466 (comment) created by leanprover-community-mathlib4-bot
September 25, 2024 06:49 1s
September 25, 2024 06:49 1s
feat: add udiv/umod bitblasting for bv_decide Label PR based on Comment #6862: Issue comment #5281 (comment) created by kim-em
September 25, 2024 06:44 2s
September 25, 2024 06:44 2s
chore: upstream some monad lemmas Label PR based on Comment #6861: Issue comment #5463 (comment) created by leanprover-community-bot
September 25, 2024 06:21 2s
September 25, 2024 06:21 2s
chore: update src/lake/lakefie.toml Label PR based on Comment #6860: Issue comment #5462 (comment) created by leanprover-community-bot
September 25, 2024 05:34 2s
September 25, 2024 05:34 2s
fix: refine how named arguments suppress explicit arguments Label PR based on Comment #6859: Issue comment #5283 (comment) created by leanprover-community-bot
September 25, 2024 02:10 1s
September 25, 2024 02:10 1s