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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: bump toolchain to v4.15.0 Label PR based on Comment #1496: Issue comment #1080 (comment) created by leanprover-community-bot
January 4, 2025 04:03 3s
January 4, 2025 04:03 3s
fix: add missing initHeartbeats Label PR based on Comment #1495: Issue comment #1037 (comment) created by eric-wieser
January 2, 2025 13:22 2s
January 2, 2025 13:22 2s
feat: add well founded streams Label PR based on Comment #1494: Issue comment #1079 (comment) created by fgdorais
December 25, 2024 22:18 2s
December 25, 2024 22:18 2s
feat: add well founded streams Label PR based on Comment #1493: Issue comment #1079 (comment) created by leanprover-community-bot
December 25, 2024 22:07 2s
December 25, 2024 22:07 2s
feat: add BitVec.ofFn and lemmas Label PR based on Comment #1492: Issue comment #1078 (comment) created by leanprover-community-bot
December 23, 2024 06:49 2s
December 23, 2024 06:49 2s
refactor: define List.IsChain, deprecate Chain and Chain' Label PR based on Comment #1491: Issue comment #1052 (comment) created by urkud
December 22, 2024 22:34 3s
December 22, 2024 22:34 3s
feat: add basic operations for polynomials over GF(2) Label PR based on Comment #1490: Issue comment #1077 (comment) created by leanprover-community-bot
December 22, 2024 19:35 3s
December 22, 2024 19:35 3s
refactor: define List.IsChain, deprecate Chain and Chain' Label PR based on Comment #1489: Issue comment #1052 (comment) created by fgdorais
December 22, 2024 18:02 2s
December 22, 2024 18:02 2s
refactor: dependent fold for Fin Label PR based on Comment #1488: Issue comment #1074 (comment) created by quangvdao
December 9, 2024 17:55 3s
December 9, 2024 17:55 3s
fix: MLList.isEmpty's definition inversed Label PR based on Comment #1487: Issue comment #1075 (comment) created by leanprover-community-bot
December 7, 2024 14:17 2s
December 7, 2024 14:17 2s
refactor: dependent fold for Fin Label PR based on Comment #1486: Issue comment #1074 (comment) created by leanprover-community-bot
December 6, 2024 23:53 2s
December 6, 2024 23:53 2s
feat: add Data.Fin.Coding and Data.Fin.Enum Label PR based on Comment #1485: Issue comment #1007 (comment) created by fgdorais
December 5, 2024 18:03 3s
December 5, 2024 18:03 3s
feat: add Data.Fin.Coding and Data.Fin.Enum Label PR based on Comment #1484: Issue comment #1007 (comment) created by quangvdao
December 5, 2024 12:31 3s
December 5, 2024 12:31 3s
feat: add Data.Fin.Coding and Data.Fin.Enum Label PR based on Comment #1483: Issue comment #1007 (comment) created by quangvdao
December 5, 2024 12:26 3s
December 5, 2024 12:26 3s
feat: Define dependent version of Fin.foldl Label PR based on Comment #1482: Issue comment #1071 (comment) created by kim-em
December 5, 2024 03:04 3s
December 5, 2024 03:04 3s
feat: Define dependent version of Fin.foldl Label PR based on Comment #1481: Issue comment #1071 (comment) created by quangvdao
December 4, 2024 14:54 4s
December 4, 2024 14:54 4s
feat: Define dependent version of Fin.foldl Label PR based on Comment #1480: Issue comment #1071 (comment) created by fgdorais
December 4, 2024 02:07 2s
December 4, 2024 02:07 2s
feat: Define dependent version of Fin.foldl Label PR based on Comment #1479: Issue comment #1071 (comment) created by fgdorais
December 4, 2024 01:47 2s
December 4, 2024 01:47 2s
feat: Define dependent version of Fin.foldl Label PR based on Comment #1478: Issue comment #1071 (comment) created by fgdorais
December 4, 2024 00:43 2s
December 4, 2024 00:43 2s
feat: Define dependent version of Fin.foldl Label PR based on Comment #1477: Issue comment #1071 (comment) created by quangvdao
December 4, 2024 00:36 2s
December 4, 2024 00:36 2s
feat: Define dependent version of Fin.foldl Label PR based on Comment #1476: Issue comment #1071 (comment) created by fgdorais
December 3, 2024 18:31 3s
December 3, 2024 18:31 3s
feat: Define dependent version of Fin.foldl Label PR based on Comment #1475: Issue comment #1071 (comment) created by fgdorais
December 3, 2024 00:40 2s
December 3, 2024 00:40 2s
feat: Define dependent version of Fin.foldl Label PR based on Comment #1474: Issue comment #1071 (comment) created by fgdorais
December 3, 2024 00:31 2s
December 3, 2024 00:31 2s
feat: Define dependent version of Fin.foldl Label PR based on Comment #1473: Issue comment #1071 (comment) created by leanprover-community-bot
December 2, 2024 23:19 3s
December 2, 2024 23:19 3s
feat: Define dependent version of Fin.foldl Label PR based on Comment #1472: Issue comment #1071 (comment) created by quangvdao
December 2, 2024 17:42 2s
December 2, 2024 17:42 2s