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

feat: migrate List lemmas from mathlib Label PR based on Comment #1144: Issue comment #233 (comment) created by AdrienChampion
July 20, 2024 06:46 2s
July 20, 2024 06:46 2s
feat: add lemma code-action Label PR based on Comment #1143: Issue comment #625 (comment) created by fgdorais
July 20, 2024 04:22 2s
July 20, 2024 04:22 2s
feat: migrate List lemmas from mathlib Label PR based on Comment #1142: Issue comment #233 (comment) created by fgdorais
July 20, 2024 04:16 2s
July 20, 2024 04:16 2s
Label PR based on Comment Label PR based on Comment #1141: created by fgdorais
July 20, 2024 04:08 2s
July 20, 2024 04:08 2s
feat: allow configuring additional linters to run Label PR based on Comment #1140: Issue comment #881 (comment) created by grunweg
July 12, 2024 11:26 2s
July 12, 2024 11:26 2s
feat: allow configuring additional linters to run Label PR based on Comment #1139: Issue comment #881 (comment) created by grunweg
July 12, 2024 09:49 15s
July 12, 2024 09:49 15s
doc: fix outdated docstring Label PR based on Comment #1138: Issue comment #880 (comment) created by grunweg
July 11, 2024 15:55 12s
July 11, 2024 15:55 12s
feat: Array lemma for empty map added Label PR based on Comment #1137: Issue comment #877 (comment) created by Shreyas4991
July 11, 2024 09:29 12s
July 11, 2024 09:29 12s
chore: upstream most LazyList results from Mathlib Label PR based on Comment #1136: Issue comment #835 (comment) created by digama0
July 10, 2024 23:45 3s
July 10, 2024 23:45 3s
chore: upstream most LazyList results from Mathlib Label PR based on Comment #1135: Issue comment #835 (comment) created by eric-wieser
July 10, 2024 23:39 2s
July 10, 2024 23:39 2s
chore: upstream most LazyList results from Mathlib Label PR based on Comment #1134: Issue comment #835 (comment) created by digama0
July 10, 2024 22:24 2s
July 10, 2024 22:24 2s
chore: upstream most LazyList results from Mathlib Label PR based on Comment #1133: Issue comment #835 (comment) created by semorrison
July 10, 2024 16:05 3s
July 10, 2024 16:05 3s
chore: upstream most LazyList results from Mathlib Label PR based on Comment #1132: Issue comment #835 (comment) created by semorrison
July 8, 2024 15:35 2s
July 8, 2024 15:35 2s
chore: remove proof_wanted in HashMap.Lemmas Label PR based on Comment #1131: Issue comment #874 (comment) created by semorrison
July 8, 2024 15:31 3s
July 8, 2024 15:31 3s
chore: remove proof_wanted in HashMap.Lemmas Label PR based on Comment #1130: Issue comment #874 (comment) created by TwoFX
July 8, 2024 06:43 2s
July 8, 2024 06:43 2s
chore: remove proof_wanted in HashMap.Lemmas Label PR based on Comment #1129: Issue comment #874 (comment) created by digama0
July 7, 2024 21:41 2s
July 7, 2024 21:41 2s
chore: remove proof_wanted in HashMap.Lemmas Label PR based on Comment #1128: Issue comment #874 (comment) created by TwoFX
July 7, 2024 18:58 10s
July 7, 2024 18:58 10s
feat: fill in proof of Array.data_erase Label PR based on Comment #1127: Issue comment #690 (comment) created by Seppel3210
July 4, 2024 00:31 14s
July 4, 2024 00:31 14s
chore: remove 'meta if' from lakefile Label PR based on Comment #1126: Issue comment #869 (comment) created by digama0
July 1, 2024 02:48 2s
July 1, 2024 02:48 2s
chore: remove nonterminal simps in UnionFind Label PR based on Comment #1125: Issue comment #868 (comment) created by semorrison
July 1, 2024 01:54 1s
July 1, 2024 01:54 1s
chore: adaptations for nightly-2024-06-25 Label PR based on Comment #1124: Issue comment #860 (comment) created by semorrison
July 1, 2024 01:05 2s
July 1, 2024 01:05 2s
chore: avoid nonterminal simps in String/Lemmas Label PR based on Comment #1123: Issue comment #864 (comment) created by chabulhwi
June 30, 2024 08:29 13s
June 30, 2024 08:29 13s
chore: deal with nonterminal simps in String/Lemmas Label PR based on Comment #1122: Issue comment #857 (comment) created by chabulhwi
June 30, 2024 08:29 1s
June 30, 2024 08:29 1s
Label PR based on Comment Label PR based on Comment #1121: created by chabulhwi
June 30, 2024 08:23 2s
June 30, 2024 08:23 2s
chore: unreachableTactic -- replace a Std namespace with Batteries and add an inherit_doc. Label PR based on Comment #1120: Issue comment #861 (comment) created by adomani
June 25, 2024 22:42 15s
June 25, 2024 22:42 15s