Skip to content

Actions: leanprover/lean4

Actions

Label PR based on Comment

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
labels-from-comments.yml
8,490 workflow runs
8,490 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: async modes for environment access Label PR based on Comment #9651: Issue comment #6852 (comment) created by Kha
January 31, 2025 11:57 3s
January 31, 2025 11:57 3s
feat: async modes for environment access Label PR based on Comment #9650: Issue comment #6852 (comment) created by leanprover-bot
January 31, 2025 11:10 2s
January 31, 2025 11:10 2s
feat: async modes for environment access Label PR based on Comment #9649: Issue comment #6852 (comment) created by Kha
January 31, 2025 10:50 2s
January 31, 2025 10:50 2s
fix: name of Int.tdiv in HDiv.hDiv docstring Label PR based on Comment #9648: Issue comment #6885 (comment) created by leanprover-community-bot
January 31, 2025 08:56 2s
January 31, 2025 08:56 2s
RFC: open keyword in do-monad Label PR based on Comment #9647: Issue comment #6884 (comment) created by nomeata
January 31, 2025 07:49 2s
January 31, 2025 07:49 2s
feat: alignment of lemmas about monadic functions on List/Array/Vector Label PR based on Comment #9646: Issue comment #6883 (comment) created by leanprover-community-bot
January 31, 2025 07:29 2s
January 31, 2025 07:29 2s
feat: hide grind auxiliary gadgets in messages Label PR based on Comment #9645: Issue comment #6882 (comment) created by leanprover-community-bot
January 31, 2025 05:15 2s
January 31, 2025 05:15 2s
feat: include Case analyses trace in the grind error message Label PR based on Comment #9644: Issue comment #6881 (comment) created by leanprover-community-bot
January 31, 2025 04:27 2s
January 31, 2025 04:27 2s
feat: improve pattern selection heuristic in grind Label PR based on Comment #9643: Issue comment #6880 (comment) created by leanprover-community-bot
January 31, 2025 02:20 1s
January 31, 2025 02:20 1s
fix: bug in mkMatchCondProf? in grind Label PR based on Comment #9642: Issue comment #6879 (comment) created by leanprover-community-bot
January 31, 2025 01:22 2s
January 31, 2025 01:22 2s
feat: alignment of List/Array/Vector lemmas about range, range', zipIdx Label PR based on Comment #9641: Issue comment #6878 (comment) created by leanprover-community-bot
January 31, 2025 00:11 2s
January 31, 2025 00:11 2s
chore: small clean-up in DivModLemmas Label PR based on Comment #9640: Issue comment #6877 (comment) created by leanprover-community-bot
January 30, 2025 23:10 2s
January 30, 2025 23:10 2s
feat: add BitVec.(getMsbD, msb)_(extractLsb', extractLsb), getMsbD_extractLsb'_eq_getLsbD Label PR based on Comment #9639: Issue comment #6792 (comment) created by luisacicolini
January 30, 2025 22:52 9s
January 30, 2025 22:52 9s
feat: use profileitM in grind Label PR based on Comment #9638: Issue comment #6876 (comment) created by leanprover-community-bot
January 30, 2025 22:20 3s
January 30, 2025 22:20 3s
feat: add BitVec lemmas about msb and shiftConcat Label PR based on Comment #9637: Issue comment #6875 (comment) created by leanprover-community-bot
January 30, 2025 18:57 2s
January 30, 2025 18:57 2s
test: constProp using grind Label PR based on Comment #9636: Issue comment #6873 (comment) created by leanprover-community-bot
January 30, 2025 18:33 2s
January 30, 2025 18:33 2s
feat: add or/and/xor lemmas for BitVec/bv_normalize Label PR based on Comment #9635: Issue comment #6872 (comment) created by leanprover-community-bot
January 30, 2025 17:58 2s
January 30, 2025 17:58 2s
chore: cleanup grind tests Label PR based on Comment #9634: Issue comment #6871 (comment) created by leanprover-community-bot
January 30, 2025 17:55 1s
January 30, 2025 17:55 1s
feat: add or/and/xor lemmas for BitVec/bv_normalize Label PR based on Comment #9633: Issue comment #6872 (comment) created by vlad902
January 30, 2025 17:33 12s
January 30, 2025 17:33 12s
feat: recommended_spelling command Label PR based on Comment #9632: Issue comment #6869 (comment) created by leanprover-community-bot
January 30, 2025 16:39 2s
January 30, 2025 16:39 2s
feat: async modes for environment access Label PR based on Comment #9631: Issue comment #6852 (comment) created by leanprover-bot
January 30, 2025 16:17 3s
January 30, 2025 16:17 3s
feat: normalize != and == in grind Label PR based on Comment #9630: Issue comment #6870 (comment) created by leanprover-community-bot
January 30, 2025 16:04 4s
January 30, 2025 16:04 4s
feat: async modes for environment access Label PR based on Comment #9629: Issue comment #6852 (comment) created by Kha
January 30, 2025 15:56 2s
January 30, 2025 15:56 2s
feat: add BitVec.(getElem_umod_of_lt, getElem_umod, getLsbD_umod, getMsbD_umod) Label PR based on Comment #9628: Issue comment #6795 (comment) created by luisacicolini
January 30, 2025 15:56 12s
January 30, 2025 15:56 12s
feat: add BitVec.(getElem_umod_of_lt, getElem_umod, getLsbD_umod, getMsbD_umod) Label PR based on Comment #9627: Issue comment #6795 (comment) created by luisacicolini
January 30, 2025 15:55 9s
January 30, 2025 15:55 9s