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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: simplify lakefile Label PR based on Comment #1217: Issue comment #950 (comment) created by fgdorais
September 21, 2024 01:10 3s
September 21, 2024 01:10 3s
feat:Add check_note command Label PR based on Comment #1216: Issue comment #948 (comment) created by edegeltje
September 20, 2024 18:54 11s
September 20, 2024 18:54 11s
Label PR based on Comment Label PR based on Comment #1215: created by edegeltje
September 20, 2024 18:52 2s
September 20, 2024 18:52 2s
Label PR based on Comment Label PR based on Comment #1214: created by joneugster
September 4, 2024 21:53 3s
September 4, 2024 21:53 3s
refactor: avoid relying on rfl's behavior on ground terms Label PR based on Comment #1213: Issue comment #832 (comment) created by fgdorais
September 2, 2024 15:24 2s
September 2, 2024 15:24 2s
refactor: avoid relying on rfl's behavior on ground terms Label PR based on Comment #1212: Issue comment #832 (comment) created by nomeata
September 2, 2024 13:08 2s
September 2, 2024 13:08 2s
proof_wanted is linted for unused arguments Label PR based on Comment #1211: Issue comment #938 (comment) created by YaelDillies
August 29, 2024 09:22 2s
August 29, 2024 09:22 2s
proof_wanted is linted for unused arguments Label PR based on Comment #1210: Issue comment #938 (comment) created by digama0
August 29, 2024 09:09 2s
August 29, 2024 09:09 2s
chore: use emoji variant of unicode characters Label PR based on Comment #1209: Issue comment #936 (comment) created by joneugster
August 26, 2024 14:51 2s
August 26, 2024 14:51 2s
chore: robustify a proof Label PR based on Comment #1208: Issue comment #934 (comment) created by semorrison
August 26, 2024 06:54 2s
August 26, 2024 06:54 2s
chore: 'lemma' command elaborates as 'theorem' but gives warning + codeaction to use 'theorem' instead Label PR based on Comment #1207: Issue comment #413 (comment) created by jcommelin
August 19, 2024 06:50 2s
August 19, 2024 06:50 2s
chore: update .gitpod.yml to pre-build Batteries Label PR based on Comment #1206: Issue comment #924 (comment) created by Shreyas4991
August 17, 2024 22:47 11s
August 17, 2024 22:47 11s
feat: monadic defs for statically sized vectors Label PR based on Comment #1205: Issue comment #925 (comment) created by Shreyas4991
August 17, 2024 22:46 10s
August 17, 2024 22:46 10s
feat: fill in proof of Array.data_erase Label PR based on Comment #1204: Issue comment #690 (comment) created by Seppel3210
August 17, 2024 16:59 12s
August 17, 2024 16:59 12s
feat: fill in proof of Array.data_erase Label PR based on Comment #1203: Issue comment #690 (comment) created by Seppel3210
August 17, 2024 16:59 2s
August 17, 2024 16:59 2s
feat: trySetOptions / tryEraseAttrs command elab helpers Label PR based on Comment #1202: Issue comment #515 (comment) created by digama0
August 16, 2024 23:51 2s
August 16, 2024 23:51 2s
feat: the trailingWhitespace linter Label PR based on Comment #1201: Issue comment #920 (comment) created by adomani
August 16, 2024 07:47 2s
August 16, 2024 07:47 2s
feat: the trailingWhitespace linter Label PR based on Comment #1200: Issue comment #920 (comment) created by digama0
August 16, 2024 07:41 2s
August 16, 2024 07:41 2s
feat: faster splitAt Label PR based on Comment #1199: Issue comment #919 (comment) created by digama0
August 16, 2024 07:38 2s
August 16, 2024 07:38 2s
feat: allSome_length Label PR based on Comment #1198: Issue comment #917 (comment) created by Smaug123
August 15, 2024 10:12 10s
August 15, 2024 10:12 10s
chore: reduce usage of refine' Label PR based on Comment #1197: Issue comment #916 (comment) created by TwoFX
August 14, 2024 13:03 13s
August 14, 2024 13:03 13s
Add docker / gitpod integrations Label PR based on Comment #1196: Issue comment #565 (comment) created by semorrison
August 14, 2024 02:57 2s
August 14, 2024 02:57 2s
feat: de-mathlib Nat.binaryRec Label PR based on Comment #1195: Issue comment #314 (comment) created by FR-vdash-bot
August 6, 2024 17:05 2s
August 6, 2024 17:05 2s
chore: Std.Tactic.Lint --> Batteries.Tactic.Lint Label PR based on Comment #1194: Issue comment #908 (comment) created by adomani
August 6, 2024 05:15 12s
August 6, 2024 05:15 12s
feat: getElem_tail lemmas Label PR based on Comment #1193: Issue comment #905 (comment) created by fgdorais
August 5, 2024 18:57 2s
August 5, 2024 18:57 2s