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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Pattern-based unfolding tactic Label PR based on Comment #1169: Issue comment #417 (comment) created by fgdorais
July 23, 2024 12:42 2s
July 23, 2024 12:42 2s
feat: de-mathlib Nat.binaryRec Label PR based on Comment #1168: Issue comment #314 (comment) created by fgdorais
July 23, 2024 12:38 2s
July 23, 2024 12:38 2s
Pattern-based unfolding tactic Label PR based on Comment #1167: Issue comment #417 (comment) created by JovanGerb
July 23, 2024 12:38 3s
July 23, 2024 12:38 3s
chore: upstream @[eqns] Label PR based on Comment #1166: Issue comment #245 (comment) created by fgdorais
July 23, 2024 11:51 3s
July 23, 2024 11:51 3s
chore: 'lemma' command elaborates as 'theorem' but gives warning + codeaction to use 'theorem' instead Label PR based on Comment #1165: Issue comment #413 (comment) created by fgdorais
July 23, 2024 11:41 2s
July 23, 2024 11:41 2s
feat: Array windows and chunks API from Rust Label PR based on Comment #1164: Issue comment #126 (comment) created by fgdorais
July 23, 2024 11:38 3s
July 23, 2024 11:38 3s
feat: add APIs around Array splitting Label PR based on Comment #1163: Issue comment #125 (comment) created by fgdorais
July 23, 2024 11:37 2s
July 23, 2024 11:37 2s
Pattern-based unfolding tactic Label PR based on Comment #1162: Issue comment #417 (comment) created by fgdorais
July 23, 2024 10:57 2s
July 23, 2024 10:57 2s
feat: lift StateM to StateT Label PR based on Comment #1161: Issue comment #476 (comment) created by fgdorais
July 23, 2024 10:52 1s
July 23, 2024 10:52 1s
feat: some lemmas about variations List.get and List.getLast, fix duplicate lemma Label PR based on Comment #1160: Issue comment #275 (comment) created by fgdorais
July 23, 2024 10:37 2s
July 23, 2024 10:37 2s
feat: make the unreachable tactic linter complain if tactics are called with no goals remaining Label PR based on Comment #1159: Issue comment #185 (comment) created by fgdorais
July 23, 2024 10:21 3s
July 23, 2024 10:21 3s
feat: function to find inverse for extended binders Label PR based on Comment #1158: Issue comment #152 (comment) created by fgdorais
July 23, 2024 10:14 2s
July 23, 2024 10:14 2s
feat: Array windows and chunks API from Rust Label PR based on Comment #1157: Issue comment #126 (comment) created by hargoniX
July 23, 2024 08:03 2s
July 23, 2024 08:03 2s
feat: add APIs around Array splitting Label PR based on Comment #1156: Issue comment #125 (comment) created by hargoniX
July 23, 2024 08:03 3s
July 23, 2024 08:03 3s
feat: add function for refl and apply Label PR based on Comment #1155: Issue comment #146 (comment) created by kmill
July 22, 2024 21:32 3s
July 22, 2024 21:32 3s
feat: make by_cases remember current case tag Label PR based on Comment #1154: Issue comment #171 (comment) created by fgdorais
July 22, 2024 21:19 3s
July 22, 2024 21:19 3s
feat: add function for refl and apply Label PR based on Comment #1153: Issue comment #146 (comment) created by fgdorais
July 22, 2024 21:18 2s
July 22, 2024 21:18 2s
feat: Array windows and chunks API from Rust Label PR based on Comment #1152: Issue comment #126 (comment) created by fgdorais
July 22, 2024 21:17 2s
July 22, 2024 21:17 2s
feat: add APIs around Array splitting Label PR based on Comment #1151: Issue comment #125 (comment) created by fgdorais
July 22, 2024 21:17 2s
July 22, 2024 21:17 2s
Label PR based on Comment Label PR based on Comment #1150: created by fgdorais
July 22, 2024 20:50 2s
July 22, 2024 20:50 2s
feat: trySetOptions / tryEraseAttrs command elab helpers Label PR based on Comment #1149: Issue comment #515 (comment) created by tydeu
July 22, 2024 20:43 2s
July 22, 2024 20:43 2s
feat: trySetOptions / tryEraseAttrs command elab helpers Label PR based on Comment #1148: Issue comment #515 (comment) created by fgdorais
July 22, 2024 20:35 2s
July 22, 2024 20:35 2s
feat: add type classes for decidable < and <= relations Label PR based on Comment #1147: Issue comment #530 (comment) created by fgdorais
July 22, 2024 20:33 3s
July 22, 2024 20:33 3s
refactor: make List.length_eq_countP_add_countP avoid Prop Label PR based on Comment #1146: Issue comment #808 (comment) created by Shreyas4991
July 22, 2024 18:24 3s
July 22, 2024 18:24 3s
Add specialized associative List folds Label PR based on Comment #1145: Issue comment #535 (comment) created by fgdorais
July 21, 2024 07:53 3s
July 21, 2024 07:53 3s