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,466 workflow run results
1,466 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
feat: Define dependent version of Fin.foldl Label PR based on Comment #1471: Issue comment #1071 (comment) created by quangvdao
December 2, 2024 17:23 3s
December 2, 2024 17:23 3s
chore: move to v4.15.0-rc1, and merge bump/v4.15.0 branch Label PR based on Comment #1470: Issue comment #1073 (comment) created by leanprover-community-bot
December 2, 2024 08:53 3s
December 2, 2024 08:53 3s
feat: Define dependent version of Fin.foldl Label PR based on Comment #1469: Issue comment #1071 (comment) created by kim-em
December 2, 2024 02:31 2s
December 2, 2024 02:31 2s
feat: Define dependent version of Fin.foldl Label PR based on Comment #1468: Issue comment #1071 (comment) created by kim-em
December 2, 2024 02:29 3s
December 2, 2024 02:29 3s
chore: bump toolchain to v4.14.0 Label PR based on Comment #1467: Issue comment #1070 (comment) created by leanprover-community-bot
December 2, 2024 00:54 2s
December 2, 2024 00:54 2s
chore: upstream Nat.binaryRec Label PR based on Comment #1466: Issue comment #799 (comment) created by leanprover-community-bot
December 1, 2024 20:02 3s
December 1, 2024 20:02 3s
refactor: make List.length_eq_countP_add_countP avoid Prop Label PR based on Comment #1465: Issue comment #808 (comment) created by fgdorais
December 1, 2024 09:01 2s
December 1, 2024 09:01 2s
chore: update docs-release action Label PR based on Comment #1464: Issue comment #1069 (comment) created by leanprover-community-bot
November 29, 2024 15:25 3s
November 29, 2024 15:25 3s
chore: bump toolchain to v4.14.0-rc3 Label PR based on Comment #1463: Issue comment #1068 (comment) created by leanprover-community-bot
November 29, 2024 14:11 3s
November 29, 2024 14:11 3s
fix: dependency syntax for a reservoir+git lakefile.toml Label PR based on Comment #1462: Issue comment #1067 (comment) created by leanprover-community-bot
November 29, 2024 08:12 2s
November 29, 2024 08:12 2s
feat: add KMP frontend for lists Label PR based on Comment #1461: Issue comment #1065 (comment) created by fgdorais
November 25, 2024 23:24 3s
November 25, 2024 23:24 3s