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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: List.dropPrefix? / dropSuffix? / dropInfix? and specification lemmas Label PR based on Comment #1454: Issue comment #1066 (comment) created by leanprover-community-bot
November 25, 2024 12:30 3s
November 25, 2024 12:30 3s
feat: add KMP frontend for lists Label PR based on Comment #1453: Issue comment #1065 (comment) created by kim-em
November 25, 2024 11:20 3s
November 25, 2024 11:20 3s
feat: add KMP frontend for lists Label PR based on Comment #1452: Issue comment #1065 (comment) created by leanprover-community-bot
November 25, 2024 09:44 2s
November 25, 2024 09:44 2s
refactor: add List.finRange and Array.finRange Label PR based on Comment #1451: Issue comment #1055 (comment) created by fgdorais
November 25, 2024 08:02 3s
November 25, 2024 08:02 3s
refactor: add List.finRange and Array.finRange Label PR based on Comment #1450: Issue comment #1055 (comment) created by kim-em
November 24, 2024 23:48 2s
November 24, 2024 23:48 2s
chore: replace Batteries.HashMap with a shim around Std.HashMap Label PR based on Comment #1449: Issue comment #1063 (comment) created by leanprover-community-bot
November 24, 2024 03:36 2s
November 24, 2024 03:36 2s
feat: OrderedAssocList Label PR based on Comment #1448: Issue comment #556 (comment) created by leanprover-community-bot
November 23, 2024 11:44 2s
November 23, 2024 11:44 2s
feat: OrderedAssocList Label PR based on Comment #1447: Issue comment #556 (comment) created by kim-em
November 23, 2024 11:00 2s
November 23, 2024 11:00 2s
feat: more vector lemmas Label PR based on Comment #1446: Issue comment #1062 (comment) created by kim-em
November 23, 2024 10:55 2s
November 23, 2024 10:55 2s
chore: fix two deprecations Label PR based on Comment #1445: Issue comment #1061 (comment) created by leanprover-community-bot
November 23, 2024 09:45 2s
November 23, 2024 09:45 2s
feat: more vector lemmas Label PR based on Comment #1444: Issue comment #1062 (comment) created by leanprover-community-bot
November 23, 2024 09:15 1s
November 23, 2024 09:15 1s
chore: fix workflow token Label PR based on Comment #1443: Issue comment #1059 (comment) created by leanprover-community-bot
November 23, 2024 01:21 2s
November 23, 2024 01:21 2s
fix: Readme.md needs "git" token in lakefile.lean Label PR based on Comment #1442: Issue comment #1056 (comment) created by leanprover-community-bot
November 21, 2024 13:12 3s
November 21, 2024 13:12 3s
chore: cleanup breaking non-terminal simps Label PR based on Comment #1441: Issue comment #1057 (comment) created by leanprover-community-bot
November 20, 2024 22:51 2s
November 20, 2024 22:51 2s
fix: Readme.md needs "git" token in lakefile.lean Label PR based on Comment #1440: Issue comment #1056 (comment) created by JaredCorduan
November 20, 2024 21:18 13s
November 20, 2024 21:18 13s
refactor: add List.finRange and Array.finRange Label PR based on Comment #1439: Issue comment #1055 (comment) created by fgdorais
November 19, 2024 23:22 3s
November 19, 2024 23:22 3s
refactor: add List.finRange and Array.finRange Label PR based on Comment #1438: Issue comment #1055 (comment) created by leanprover-community-bot
November 19, 2024 09:00 3s
November 19, 2024 09:00 3s
chore: remove @[simp] attributes from monad-specific SatisfiesM lemmas Label PR based on Comment #1437: Issue comment #1054 (comment) created by leanprover-community-bot
November 19, 2024 05:16 2s
November 19, 2024 05:16 2s
chore: remove @[simp] attributes from monad-specific SatisfiesM lemmas Label PR based on Comment #1436: Issue comment #1054 (comment) created by kim-em
November 19, 2024 04:32 3s
November 19, 2024 04:32 3s
refactor: define List.IsChain, deprecate Chain and Chain' Label PR based on Comment #1435: Issue comment #1052 (comment) created by urkud
November 18, 2024 04:17 3s
November 18, 2024 04:17 3s
refactor: define List.IsChain, deprecate Chain and Chain' Label PR based on Comment #1434: Issue comment #1052 (comment) created by urkud
November 18, 2024 04:16 3s
November 18, 2024 04:16 3s
refactor: define List.IsChain, deprecate Chain and Chain' Label PR based on Comment #1433: Issue comment #1052 (comment) created by fgdorais
November 18, 2024 02:44 3s
November 18, 2024 02:44 3s
refactor: define List.IsChain, deprecate Chain and Chain' Label PR based on Comment #1432: Issue comment #1052 (comment) created by urkud
November 17, 2024 18:00 3s
November 17, 2024 18:00 3s
refactor: define List.IsChain, deprecate Chain and Chain' Label PR based on Comment #1431: Issue comment #1052 (comment) created by digama0
November 17, 2024 17:37 2s
November 17, 2024 17:37 2s
refactor: define List.IsChain, deprecate Chain and Chain' Label PR based on Comment #1430: Issue comment #1052 (comment) created by urkud
November 17, 2024 17:34 2s
November 17, 2024 17:34 2s