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,346 workflow runs
1,346 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Fin.foldlM and Fin.foldrM Label PR based on Comment #1271: Issue comment #814 (comment) created by leanprover-community-bot
October 1, 2024 06:54 2s
October 1, 2024 06:54 2s
refactor: implement BinaryHeap using Vector Label PR based on Comment #1270: Issue comment #850 (comment) created by leanprover-community-bot
October 1, 2024 06:45 2s
October 1, 2024 06:45 2s
chore: adaptations for nightly-2024-09-27 Label PR based on Comment #1269: Issue comment #971 (comment) created by kim-em
September 30, 2024 06:49 3s
September 30, 2024 06:49 3s
feat: add #help commands Label PR based on Comment #1268: Issue comment #969 (comment) created by fgdorais
September 29, 2024 17:08 2s
September 29, 2024 17:08 2s
chore: adaptations for nightly-2024-09-27 Label PR based on Comment #1267: Issue comment #971 (comment) created by leanprover-community-bot
September 29, 2024 08:29 2s
September 29, 2024 08:29 2s
feat: add #help commands Label PR based on Comment #1266: Issue comment #969 (comment) created by digama0
September 29, 2024 03:32 2s
September 29, 2024 03:32 2s
feat: add #help commands Label PR based on Comment #1265: Issue comment #969 (comment) created by fgdorais
September 29, 2024 02:49 3s
September 29, 2024 02:49 3s
feat: add #help commands Label PR based on Comment #1264: Issue comment #969 (comment) created by kim-em
September 28, 2024 23:30 2s
September 28, 2024 23:30 2s
feat: add bisection algorithm Label PR based on Comment #1263: Issue comment #890 (comment) created by leanprover-community-bot
September 28, 2024 22:55 2s
September 28, 2024 22:55 2s
fix: disable flaky test Label PR based on Comment #1262: Issue comment #970 (comment) created by leanprover-community-bot
September 28, 2024 19:52 2s
September 28, 2024 19:52 2s
feat: getElem_tail lemmas Label PR based on Comment #1261: Issue comment #905 (comment) created by fgdorais
September 28, 2024 18:14 2s
September 28, 2024 18:14 2s
feat: getElem_tail lemmas Label PR based on Comment #1260: Issue comment #905 (comment) created by leanprover-community-bot
September 28, 2024 17:51 3s
September 28, 2024 17:51 3s
chore: use implicit arguments in iff lemmas Label PR based on Comment #1259: Issue comment #957 (comment) created by leanprover-community-bot
September 28, 2024 17:44 2s
September 28, 2024 17:44 2s
feat: add #help commands Label PR based on Comment #1258: Issue comment #969 (comment) created by leanprover-community-bot
September 28, 2024 17:30 2s
September 28, 2024 17:30 2s
feat: add #help note command Label PR based on Comment #1257: Issue comment #948 (comment) created by fgdorais
September 28, 2024 15:26 2s
September 28, 2024 15:26 2s
feat: add #help note command Label PR based on Comment #1256: Issue comment #948 (comment) created by edegeltje
September 28, 2024 15:08 2s
September 28, 2024 15:08 2s
feat: add #help note command Label PR based on Comment #1255: Issue comment #948 (comment) created by fgdorais
September 28, 2024 14:28 2s
September 28, 2024 14:28 2s
feat: add #help note command Label PR based on Comment #1254: Issue comment #948 (comment) created by edegeltje
September 28, 2024 13:28 3s
September 28, 2024 13:28 3s
fix: use by rfl instead of rfl to bypass new compiler bug Label PR based on Comment #1253: Issue comment #968 (comment) created by fgdorais
September 28, 2024 02:55 2s
September 28, 2024 02:55 2s
fix: use by rfl instead of rfl to bypass new compiler bug Label PR based on Comment #1252: Issue comment #968 (comment) created by leanprover-community-bot
September 28, 2024 00:43 3s
September 28, 2024 00:43 3s
fix: remove List.erase_of_forall_bne and replace with List.erase_eq_self_iff_forall_bne Label PR based on Comment #1251: Issue comment #967 (comment) created by leanprover-community-bot
September 28, 2024 00:17 2s
September 28, 2024 00:17 2s
fix: use by rfl instead of rfl to bypass new compiler bug Label PR based on Comment #1250: Issue comment #968 (comment) created by Shreyas4991
September 27, 2024 23:54 14s
September 27, 2024 23:54 14s
feat: add #help note command Label PR based on Comment #1249: Issue comment #948 (comment) created by fgdorais
September 27, 2024 21:19 2s
September 27, 2024 21:19 2s
feat: add #help note command Label PR based on Comment #1248: Issue comment #948 (comment) created by leanprover-community-bot
September 27, 2024 20:56 2s
September 27, 2024 20:56 2s
feat: order lemmas for UIntX types Label PR based on Comment #1247: Issue comment #854 (comment) created by leanprover-community-bot
September 27, 2024 20:49 3s
September 27, 2024 20:49 3s