Skip to content

Actions: leanprover-community/batteries

Actions

Label PR based on Comment

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
labels-from-comments.yml
1,258 workflow runs
1,258 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: adjustments to runLinter so it can be used downstream Label PR based on Comment #318: Issue comment #370 (comment) created by kim-em
November 17, 2023 06:46 3s
November 17, 2023 06:46 3s
chore: adjustments to runLinter so it can be used downstream Label PR based on Comment #317: Issue comment #370 (comment) created by digama0
November 17, 2023 05:46 2s
November 17, 2023 05:46 2s
feat: infer Decidable instances in simp lemmas by unification / adaptation for leanprover/lean4#2816 Label PR based on Comment #316: Issue comment #356 (comment) created by kim-em
November 16, 2023 11:07 3s
November 16, 2023 11:07 3s
chore: changes required for leanprover/lean4#2783 Label PR based on Comment #315: Issue comment #331 (comment) created by kim-em
November 16, 2023 11:07 2s
November 16, 2023 11:07 2s
feat: Array.attach Label PR based on Comment #314: Issue comment #364 (comment) created by nomeata
November 15, 2023 19:56 2s
November 15, 2023 19:56 2s
feat: Array.attach Label PR based on Comment #313: Issue comment #364 (comment) created by digama0
November 15, 2023 18:57 1s
November 15, 2023 18:57 1s
feat: Array.attach Label PR based on Comment #312: Issue comment #364 (comment) created by nomeata
November 15, 2023 14:22 11s
November 15, 2023 14:22 11s
feat: Array.attach Label PR based on Comment #311: Issue comment #364 (comment) created by david-christiansen
November 15, 2023 14:22 3s
November 15, 2023 14:22 3s
feat: Array.attach Label PR based on Comment #310: Issue comment #364 (comment) created by nomeata
November 15, 2023 14:20 3s
November 15, 2023 14:20 3s
feat: de-mathlib Nat.binaryRec Label PR based on Comment #309: Issue comment #314 (comment) created by FR-vdash-bot
November 15, 2023 12:25 18s
November 15, 2023 12:25 18s
Label PR based on Comment Label PR based on Comment #308: created by eric-wieser
November 14, 2023 23:09 16s
November 14, 2023 23:09 16s
feat: define cons and concat on bitvectors. Label PR based on Comment #307: Issue comment #359 (comment) created by alexkeizer
November 13, 2023 20:37 3s
November 13, 2023 20:37 3s
feat: Upstream the coercion arrows from mathlib, and use them in the coe delaborator Label PR based on Comment #306: Issue comment #354 (comment) created by eric-wieser
November 13, 2023 12:33 3s
November 13, 2023 12:33 3s
chore: changes required for leanprover/lean4#2783 Label PR based on Comment #305: Issue comment #331 (comment) created by kim-em
November 10, 2023 23:21 2s
November 10, 2023 23:21 2s
chore: changes required for leanprover/lean4#2783 Label PR based on Comment #304: Issue comment #331 (comment) created by kim-em
November 10, 2023 23:17 2s
November 10, 2023 23:17 2s
Label PR based on Comment Label PR based on Comment #303: created by kim-em
November 10, 2023 00:04 2s
November 10, 2023 00:04 2s
feat: infer Decidable instances in simp lemmas by unification / adaptation for leanprover/lean4#2816 Label PR based on Comment #302: Issue comment #356 (comment) created by kim-em
November 10, 2023 00:03 2s
November 10, 2023 00:03 2s
feat: use notation as simp-normal form for BitVec operations Label PR based on Comment #301: Issue comment #357 (comment) created by alexkeizer
November 9, 2023 22:26 2s
November 9, 2023 22:26 2s
feat: use notation as simp-normal form for BitVec operations Label PR based on Comment #300: Issue comment #357 (comment) created by eric-wieser
November 9, 2023 20:52 2s
November 9, 2023 20:52 2s
feat: use notation as simp-normal form for BitVec operations Label PR based on Comment #299: Issue comment #357 (comment) created by digama0
November 9, 2023 20:01 2s
November 9, 2023 20:01 2s
feat: use notation as simp-normal form for BitVec operations Label PR based on Comment #298: Issue comment #357 (comment) created by alexkeizer
November 9, 2023 19:54 2s
November 9, 2023 19:54 2s
feat: use notation as simp-normal form for BitVec operations Label PR based on Comment #297: Issue comment #357 (comment) created by eric-wieser
November 9, 2023 19:51 2s
November 9, 2023 19:51 2s
feat: use notation as simp-normal form for BitVec operations Label PR based on Comment #296: Issue comment #357 (comment) created by digama0
November 9, 2023 17:36 2s
November 9, 2023 17:36 2s
feat: infer Decidable instances in simp lemmas by unification / adaptation for leanprover/lean4#2816 Label PR based on Comment #295: Issue comment #356 (comment) created by digama0
November 9, 2023 13:01 2s
November 9, 2023 13:01 2s
feat: Upstream the coercion arrows from mathlib, and use them in the coe delaborator Label PR based on Comment #294: Issue comment #354 (comment) created by joehendrix
November 9, 2023 05:18 2s
November 9, 2023 05:18 2s
ProTip! You can narrow down the results and go further in time using created:<2023-11-09 or the other filters available.