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

chore: CI: bump dawidd6/action-download-artifact from 7 to 8 Label PR based on Comment #9675: Issue comment #6903 (comment) created by leanprover-community-bot
February 1, 2025 20:38 1s
February 1, 2025 20:38 1s
feat: simp diagnostics in grind Label PR based on Comment #9674: Issue comment #6902 (comment) created by leanprover-community-bot
February 1, 2025 18:56 2s
February 1, 2025 18:56 2s
refactor: simpMatch to not etaStruct Label PR based on Comment #9673: Issue comment #6901 (comment) created by leanprover-community-bot
February 1, 2025 17:29 1s
February 1, 2025 17:29 1s
doc: correct docstring for TransGen.tail and TransGen.trans Label PR based on Comment #9672: Issue comment #6900 (comment) created by leanprover-community-bot
February 1, 2025 13:18 2s
February 1, 2025 13:18 2s
refactor: WF: create unfold theorems eagerly Label PR based on Comment #9671: Issue comment #6898 (comment) created by leanprover-community-bot
February 1, 2025 12:28 3s
February 1, 2025 12:28 3s
feat: attributes [grind =>] and [grind <=] Label PR based on Comment #9670: Issue comment #6897 (comment) created by leanprover-community-bot
February 1, 2025 04:45 2s
February 1, 2025 04:45 2s
feat: frontend & sever support for plugins Label PR based on Comment #9669: Issue comment #6893 (comment) created by leanprover-community-bot
February 1, 2025 02:08 2s
February 1, 2025 02:08 2s
fix: grind issues exposed by grind_constProp Label PR based on Comment #9668: Issue comment #6895 (comment) created by leanprover-community-bot
February 1, 2025 01:39 2s
February 1, 2025 01:39 2s
feat: lake: async imports Label PR based on Comment #9667: Issue comment #6894 (comment) created by leanprover-community-bot
February 1, 2025 01:33 2s
February 1, 2025 01:33 2s
feat: bug in pattern selection heuristic in grind Label PR based on Comment #9666: Issue comment #6892 (comment) created by leanprover-community-bot
January 31, 2025 20:27 2s
January 31, 2025 20:27 2s
fix: make rewrite/rw tactic abort on elaboration errors Label PR based on Comment #9665: Issue comment #6891 (comment) created by leanprover-community-bot
January 31, 2025 20:07 2s
January 31, 2025 20:07 2s
feat: teach bv_normalize to rewrite subtractions to additions Label PR based on Comment #9664: Issue comment #6890 (comment) created by leanprover-community-bot
January 31, 2025 17:47 2s
January 31, 2025 17:47 2s
perf: inline a few functions in the bv_decide circuit cache Label PR based on Comment #9663: Issue comment #6889 (comment) created by leanprover-community-bot
January 31, 2025 17:24 2s
January 31, 2025 17:24 2s
feat: teach bv_normalize to rewrite subtractions to additions Label PR based on Comment #9662: Issue comment #6890 (comment) created by vlad902
January 31, 2025 17:22 10s
January 31, 2025 17:22 10s
perf: inline a few functions in the bv_decide circuit cache Label PR based on Comment #9661: Issue comment #6889 (comment) created by leanprover-bot
January 31, 2025 17:20 2s
January 31, 2025 17:20 2s
feat: add [grind intro] attribute Label PR based on Comment #9660: Issue comment #6888 (comment) created by leanprover-community-bot
January 31, 2025 17:07 2s
January 31, 2025 17:07 2s
perf: inline a few functions in the bv_decide circuit cache Label PR based on Comment #9659: Issue comment #6889 (comment) created by hargoniX
January 31, 2025 16:59 2s
January 31, 2025 16:59 2s
feat: asynchronous code generation Label PR based on Comment #9658: Issue comment #6770 (comment) created by leanprover-bot
January 31, 2025 16:25 2s
January 31, 2025 16:25 2s
feat: asynchronous code generation Label PR based on Comment #9657: Issue comment #6770 (comment) created by Kha
January 31, 2025 16:04 2s
January 31, 2025 16:04 2s
Label PR based on Comment Label PR based on Comment #9656: created by Kha
January 31, 2025 16:03 2s
January 31, 2025 16:03 2s
feat: recommended_spelling command Label PR based on Comment #9655: Issue comment #6869 (comment) created by david-christiansen
January 31, 2025 13:24 2s
January 31, 2025 13:24 2s
feat: async modes for environment access Label PR based on Comment #9654: Issue comment #6852 (comment) created by leanprover-bot
January 31, 2025 13:13 3s
January 31, 2025 13:13 3s
feat: async modes for environment access Label PR based on Comment #9653: Issue comment #6852 (comment) created by Kha
January 31, 2025 12:53 2s
January 31, 2025 12:53 2s
feat: async modes for environment access Label PR based on Comment #9652: Issue comment #6852 (comment) created by leanprover-bot
January 31, 2025 12:17 2s
January 31, 2025 12:17 2s
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