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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: sugar for SatisfiesM Label PR based on Comment #1375: Issue comment #1029 (comment) created by leanprover-community-bot
November 8, 2024 06:14 2s
November 8, 2024 06:14 2s
feat: generate docs from subdirectory Label PR based on Comment #1374: Issue comment #1028 (comment) created by leanprover-community-bot
November 7, 2024 22:40 2s
November 7, 2024 22:40 2s
feat: Vector.mapM Label PR based on Comment #1373: Issue comment #1026 (comment) created by leanprover-community-bot
November 7, 2024 09:39 2s
November 7, 2024 09:39 2s
refactor: cleanup Vector API Label PR based on Comment #1372: Issue comment #1025 (comment) created by leanprover-community-bot
November 4, 2024 23:16 2s
November 4, 2024 23:16 2s
fix: use by rfl instead of rfl to bypass new compiler bug Label PR based on Comment #1371: Issue comment #968 (comment) created by mattrobball
November 4, 2024 20:47 2s
November 4, 2024 20:47 2s
fix: use by rfl instead of rfl to bypass new compiler bug Label PR based on Comment #1370: Issue comment #968 (comment) created by fgdorais
November 4, 2024 18:22 3s
November 4, 2024 18:22 3s
chore: turn batteries tests into a library Label PR based on Comment #1369: Issue comment #1024 (comment) created by leanprover-community-bot
November 4, 2024 17:23 2s
November 4, 2024 17:23 2s
fix: use by rfl instead of rfl to bypass new compiler bug Label PR based on Comment #1368: Issue comment #968 (comment) created by mattrobball
November 4, 2024 16:41 3s
November 4, 2024 16:41 3s
chore: adaptations for nightly-2024-10-21 Label PR based on Comment #1367: Issue comment #1004 (comment) created by kim-em
November 3, 2024 22:46 2s
November 3, 2024 22:46 2s
feat: detect default target on runLinter Label PR based on Comment #1366: Issue comment #811 (comment) created by austinletson
November 2, 2024 11:57 1s
November 2, 2024 11:57 1s
feat: detect default target on runLinter Label PR based on Comment #1365: Issue comment #811 (comment) created by leanprover-community-bot
November 2, 2024 11:51 2s
November 2, 2024 11:51 2s
chore: bump toolchain to v4.13.0 Label PR based on Comment #1364: Issue comment #1021 (comment) created by leanprover-community-bot
November 1, 2024 03:28 2s
November 1, 2024 03:28 2s
feat: add Data.Fin.Coding and Data.Fin.Enum Label PR based on Comment #1363: Issue comment #1007 (comment) created by fgdorais
November 1, 2024 02:07 3s
November 1, 2024 02:07 3s
feat: add Data.Fin.Coding and Data.Fin.Enum Label PR based on Comment #1362: Issue comment #1007 (comment) created by digama0
November 1, 2024 00:41 3s
November 1, 2024 00:41 3s
feat: add Data.Fin.Coding and Data.Fin.Enum Label PR based on Comment #1361: Issue comment #1007 (comment) created by lyphyser
October 31, 2024 21:29 3s
October 31, 2024 21:29 3s
feat: add Data.Fin.Coding and Data.Fin.Enum Label PR based on Comment #1360: Issue comment #1007 (comment) created by digama0
October 31, 2024 20:36 3s
October 31, 2024 20:36 3s
feat: add Data.Fin.Coding and Data.Fin.Enum Label PR based on Comment #1359: Issue comment #1007 (comment) created by fgdorais
October 31, 2024 19:40 2s
October 31, 2024 19:40 2s
feat: add Data.Fin.Coding and Data.Fin.Enum Label PR based on Comment #1358: Issue comment #1007 (comment) created by lyphyser
October 31, 2024 19:03 3s
October 31, 2024 19:03 3s
fix: ignore comments in #where Label PR based on Comment #1357: Issue comment #1019 (comment) created by adomani
October 30, 2024 19:41 2s
October 30, 2024 19:41 2s
feat: add Data.Fin.Coding and Data.Fin.Enum Label PR based on Comment #1356: Issue comment #1007 (comment) created by digama0
October 30, 2024 19:05 2s
October 30, 2024 19:05 2s
fix: ignore comments in #where Label PR based on Comment #1355: Issue comment #1019 (comment) created by adomani
October 30, 2024 15:32 13s
October 30, 2024 15:32 13s
fix: ignore comments in #where Label PR based on Comment #1354: Issue comment #1019 (comment) created by leanprover-community-bot
October 30, 2024 14:17 2s
October 30, 2024 14:17 2s
feat: add Data.Fin.Coding and Data.Fin.Enum Label PR based on Comment #1353: Issue comment #1007 (comment) created by fgdorais
October 30, 2024 11:09 3s
October 30, 2024 11:09 3s
feat: add Data.Fin.Coding and Data.Fin.Enum Label PR based on Comment #1352: Issue comment #1007 (comment) created by lyphyser
October 30, 2024 10:14 2s
October 30, 2024 10:14 2s
feat: add Data.Fin.Coding and Data.Fin.Enum Label PR based on Comment #1351: Issue comment #1007 (comment) created by fgdorais
October 30, 2024 01:20 2s
October 30, 2024 01:20 2s