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 #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
feat: List.SatisfiesM_foldlM Label PR based on Comment #1385: Issue comment #1034 (comment) created by kim-em
November 11, 2024 02:32 2s
November 11, 2024 02:32 2s
feat: detect default target on runLinter Label PR based on Comment #1384: Issue comment #811 (comment) created by kim-em
November 11, 2024 00:33 2s
November 11, 2024 00:33 2s
feat: sugar for SatisfiesM Label PR based on Comment #1383: Issue comment #1029 (comment) created by kim-em
November 11, 2024 00:23 2s
November 11, 2024 00:23 2s
"Internalizing" external reasoning about monadic actions (SatisfiesM) Label PR based on Comment #1382: Issue comment #1032 (comment) created by digama0
November 10, 2024 22:09 2s
November 10, 2024 22:09 2s
chore: add unlabeled PR workflow Label PR based on Comment #1381: Issue comment #1033 (comment) created by leanprover-community-bot
November 10, 2024 21:37 2s
November 10, 2024 21:37 2s
chore: update README with new lakefile syntax Label PR based on Comment #1380: Issue comment #1031 (comment) created by leanprover-community-bot
November 10, 2024 03:09 2s
November 10, 2024 03:09 2s
feat: improve induction code action Label PR based on Comment #1379: Issue comment #1030 (comment) created by digama0
November 9, 2024 18:33 2s
November 9, 2024 18:33 2s
feat: improve induction code action Label PR based on Comment #1378: Issue comment #1030 (comment) created by fgdorais
November 9, 2024 04:11 2s
November 9, 2024 04:11 2s
feat: improve induction code action Label PR based on Comment #1377: Issue comment #1030 (comment) created by leanprover-community-bot
November 8, 2024 20:31 3s
November 8, 2024 20:31 3s
feat: sugar for SatisfiesM Label PR based on Comment #1376: Issue comment #1029 (comment) created by digama0
November 8, 2024 14:05 2s
November 8, 2024 14:05 2s