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: use gh command to get pull request info Label PR based on Comment #1346: Issue comment #1008 (comment) created by leanprover-community-bot
October 27, 2024 19:43 3s
October 27, 2024 19:43 3s
feat: add #help note command Label PR based on Comment #1345: Issue comment #948 (comment) created by fgdorais
October 27, 2024 16:43 2s
October 27, 2024 16:43 2s
feat: add #help note command Label PR based on Comment #1344: Issue comment #948 (comment) created by edegeltje
October 27, 2024 16:16 2s
October 27, 2024 16:16 2s
feat: add #help note command Label PR based on Comment #1343: Issue comment #948 (comment) created by edegeltje
October 27, 2024 16:15 16s
October 27, 2024 16:15 16s
feat: add #help note command Label PR based on Comment #1342: Issue comment #948 (comment) created by fgdorais
October 27, 2024 15:53 2s
October 27, 2024 15:53 2s
feat: add #help note command Label PR based on Comment #1341: Issue comment #948 (comment) created by edegeltje
October 27, 2024 09:29 2s
October 27, 2024 09:29 2s
feat: add #help note command Label PR based on Comment #1340: Issue comment #948 (comment) created by fgdorais
October 26, 2024 22:28 2s
October 26, 2024 22:28 2s
feat: add #help note command Label PR based on Comment #1339: Issue comment #948 (comment) created by fgdorais
October 26, 2024 16:20 2s
October 26, 2024 16:20 2s
feat: add #help note command Label PR based on Comment #1338: Issue comment #948 (comment) created by edegeltje
October 26, 2024 15:52 2s
October 26, 2024 15:52 2s
feat: add #help note command Label PR based on Comment #1337: Issue comment #948 (comment) created by fgdorais
October 26, 2024 15:18 2s
October 26, 2024 15:18 2s
feat: add Data.Fin.Coding and Data.Fin.Enum Label PR based on Comment #1336: Issue comment #1007 (comment) created by leanprover-community-bot
October 25, 2024 02:07 3s
October 25, 2024 02:07 3s
feat: detect default target on runLinter Label PR based on Comment #1335: Issue comment #811 (comment) created by kim-em
October 25, 2024 00:48 2s
October 25, 2024 00:48 2s
rcases can't use rfl on 0 = a in some circumstances. Label PR based on Comment #1334: Issue comment #62 (comment) created by fgdorais
October 22, 2024 13:23 3s
October 22, 2024 13:23 3s
Achieve parity between Array and List lemmas Label PR based on Comment #1333: Issue comment #24 (comment) created by fgdorais
October 22, 2024 13:21 3s
October 22, 2024 13:21 3s
Port PersistentHashMaps from Lean core Label PR based on Comment #1332: Issue comment #23 (comment) created by fgdorais
October 22, 2024 13:20 3s
October 22, 2024 13:20 3s
Port HashSets from Lean core Label PR based on Comment #1331: Issue comment #22 (comment) created by fgdorais
October 22, 2024 13:20 3s
October 22, 2024 13:20 3s
Syntax for creating concrete HashMaps Label PR based on Comment #1330: Issue comment #726 (comment) created by fgdorais
October 22, 2024 13:18 3s
October 22, 2024 13:18 3s
chore: switch to lakefile.toml Label PR based on Comment #1329: Issue comment #1005 (comment) created by fgdorais
October 22, 2024 12:54 3s
October 22, 2024 12:54 3s
chore: fix List.modify/insertIdx doc-strings Label PR based on Comment #1328: Issue comment #1006 (comment) created by leanprover-community-bot
October 22, 2024 00:22 11s
October 22, 2024 00:22 11s
chore: switch to lakefile.toml Label PR based on Comment #1327: Issue comment #1005 (comment) created by leanprover-community-bot
October 21, 2024 23:08 2s
October 21, 2024 23:08 2s
chore: rename List.modifyNth->modify and insertNth->insertIdx Label PR based on Comment #1326: Issue comment #1003 (comment) created by kim-em
October 21, 2024 05:45 2s
October 21, 2024 05:45 2s
chore: rename List.modifyNth->modify and insertNth->insertIdx Label PR based on Comment #1325: Issue comment #1003 (comment) created by kim-em
October 21, 2024 01:21 2s
October 21, 2024 01:21 2s
chore: rename List.modifyNth->modify and insertNth->insertIdx Label PR based on Comment #1324: Issue comment #1003 (comment) created by leanprover-community-bot
October 21, 2024 00:48 2s
October 21, 2024 00:48 2s
feat: add #help note command Label PR based on Comment #1323: Issue comment #948 (comment) created by fgdorais
October 20, 2024 13:44 2s
October 20, 2024 13:44 2s
feat: add #help note command Label PR based on Comment #1322: Issue comment #948 (comment) created by edegeltje
October 20, 2024 12:11 2s
October 20, 2024 12:11 2s