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

chore: deprecate Expr.forallArity, per todo Label PR based on Comment #1410: Issue comment #1046 (comment) created by leanprover-community-bot
November 13, 2024 06:53 2s
November 13, 2024 06:53 2s
chore: remove duplicate NameMap forIn instance Label PR based on Comment #1409: Issue comment #1043 (comment) created by leanprover-community-bot
November 13, 2024 06:14 2s
November 13, 2024 06:14 2s
chore: remove >6 month old deprecations Label PR based on Comment #1408: Issue comment #1044 (comment) created by leanprover-community-bot
November 13, 2024 06:09 2s
November 13, 2024 06:09 2s
chore: remove unnecessary import in Batteries.Lean.LawfulMonad Label PR based on Comment #1407: Issue comment #1042 (comment) created by leanprover-community-bot
November 13, 2024 06:05 2s
November 13, 2024 06:05 2s
fix: add missing initHeartbeats Label PR based on Comment #1406: Issue comment #1037 (comment) created by fgdorais
November 13, 2024 03:43 2s
November 13, 2024 03:43 2s
chore: cleanup proof of satisfiesM_foldlM Label PR based on Comment #1405: Issue comment #1039 (comment) created by leanprover-community-bot
November 13, 2024 00:44 3s
November 13, 2024 00:44 3s
chore: reset to nightly-testing Label PR based on Comment #1404: Issue comment #1041 (comment) created by mergify bot
November 13, 2024 00:32 2s
November 13, 2024 00:32 2s
feat: sugar for SatisfiesM Label PR based on Comment #1403: Issue comment #1029 (comment) created by digama0
November 13, 2024 00:21 2s
November 13, 2024 00:21 2s
feat: sugar for SatisfiesM Label PR based on Comment #1402: Issue comment #1029 (comment) created by kim-em
November 13, 2024 00:05 1s
November 13, 2024 00:05 1s
feat: generate docs from subdirectory Label PR based on Comment #1401: Issue comment #1028 (comment) created by fgdorais
November 12, 2024 09:19 2s
November 12, 2024 09:19 2s
feat: sugar for SatisfiesM Label PR based on Comment #1400: Issue comment #1029 (comment) created by Ericson2314
November 12, 2024 06:24 2s
November 12, 2024 06:24 2s
chore(Data/Rat): move Float functions to separate file Label PR based on Comment #1399: Issue comment #1035 (comment) created by leanprover-community-bot
November 12, 2024 03:59 2s
November 12, 2024 03:59 2s
feat: sugar for SatisfiesM Label PR based on Comment #1398: Issue comment #1029 (comment) created by kim-em
November 12, 2024 03:16 1s
November 12, 2024 03:16 1s
chore: robustify some String proofs Label PR based on Comment #1397: Issue comment #1038 (comment) created by leanprover-community-bot
November 12, 2024 02:39 2s
November 12, 2024 02:39 2s
feat: sugar for SatisfiesM Label PR based on Comment #1396: Issue comment #1029 (comment) created by Ericson2314
November 12, 2024 01:10 2s
November 12, 2024 01:10 2s
fix: add missing initHeartbeats Label PR based on Comment #1395: Issue comment #1037 (comment) created by leanprover-community-bot
November 11, 2024 18:35 2s
November 11, 2024 18:35 2s
perf: inline the Decidable (Coprime _ _) instance Label PR based on Comment #1394: Issue comment #1036 (comment) created by leanprover-community-bot
November 11, 2024 18:19 3s
November 11, 2024 18:19 3s
simpNF should use dsimp for lemmas proved by rfl Label PR based on Comment #1393: Issue comment #86 (comment) created by jcommelin
November 11, 2024 13:24 3s
November 11, 2024 13:24 3s
feat: sugar for SatisfiesM Label PR based on Comment #1392: Issue comment #1029 (comment) created by digama0
November 11, 2024 13:08 3s
November 11, 2024 13:08 3s
simpNF should use dsimp for lemmas proved by rfl Label PR based on Comment #1391: Issue comment #86 (comment) created by kim-em
November 11, 2024 12:00 2s
November 11, 2024 12:00 2s
feat: sugar for SatisfiesM Label PR based on Comment #1390: Issue comment #1029 (comment) created by kim-em
November 11, 2024 10:10 3s
November 11, 2024 10:10 3s
feat: sugar for SatisfiesM Label PR based on Comment #1389: Issue comment #1029 (comment) created by digama0
November 11, 2024 07:53 3s
November 11, 2024 07:53 3s
feat: sugar for SatisfiesM Label PR based on Comment #1388: Issue comment #1029 (comment) created by kim-em
November 11, 2024 07:50 3s
November 11, 2024 07:50 3s
feat: sugar for SatisfiesM Label PR based on Comment #1387: Issue comment #1029 (comment) created by digama0
November 11, 2024 04:02 2s
November 11, 2024 04:02 2s
feat: List.SatisfiesM_foldlM Label PR based on Comment #1386: Issue comment #1034 (comment) created by leanprover-community-bot
November 11, 2024 02:51 2s
November 11, 2024 02:51 2s