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
6,954 workflow run results
6,954 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: let simp apply rules with higher-order patterns Label PR based on Comment #6908: Issue comment #5479 (comment) created by leanprover-community-bot
September 26, 2024 17:17 3s
September 26, 2024 17:17 3s
feat: let simp apply rules with higher-order patterns Label PR based on Comment #6907: Issue comment #5479 (comment) created by leanprover-community-bot
September 26, 2024 15:30 2s
September 26, 2024 15:30 2s
feat: let simp apply rules with higher-order patterns Label PR based on Comment #6906: Issue comment #5479 (comment) created by leanprover-community-bot
September 26, 2024 13:34 3s
September 26, 2024 13:34 3s
feat: let simp apply rules with higher-order patterns Label PR based on Comment #6905: Issue comment #5479 (comment) created by leanprover-community-bot
September 26, 2024 12:42 3s
September 26, 2024 12:42 3s
test: check that recusive functions do not apply attriubutes twices Label PR based on Comment #6904: Issue comment #5480 (comment) created by leanprover-community-bot
September 26, 2024 11:29 3s
September 26, 2024 11:29 3s
feat: let simp apply rules with higher-order patterns Label PR based on Comment #6903: Issue comment #5479 (comment) created by leanprover-community-bot
September 26, 2024 11:29 3s
September 26, 2024 11:29 3s
feat: add udiv/umod bitblasting for bv_decide Label PR based on Comment #6902: Issue comment #5281 (comment) created by hargoniX
September 26, 2024 11:16 2s
September 26, 2024 11:16 2s
test: check that recusive functions do not apply attriubutes twices Label PR based on Comment #6901: Issue comment #5480 (comment) created by nomeata
September 26, 2024 11:02 2s
September 26, 2024 11:02 2s
chore: CI: build 64-bit platforms consistently with GMP Label PR based on Comment #6900: Issue comment #5144 (comment) created by leanprover-community-mathlib4-bot
September 26, 2024 10:11 2s
September 26, 2024 10:11 2s
feat: let simp apply rules with higher-order patterns Label PR based on Comment #6899: Issue comment #5479 (comment) created by leanprover-community-bot
September 26, 2024 09:31 2s
September 26, 2024 09:31 2s
feat: add BitVec.(shiftLeft_add_distrib, shiftLeft_ushiftRight) Label PR based on Comment #6898: Issue comment #5478 (comment) created by leanprover-community-mathlib4-bot
September 26, 2024 07:53 2s
September 26, 2024 07:53 2s
feat: set priority in monadic class instances Label PR based on Comment #6897: Issue comment #5291 (comment) created by leanprover-bot
September 26, 2024 07:15 2s
September 26, 2024 07:15 2s
chore: remove unused deriving handler argument syntax Label PR based on Comment #6896: Issue comment #5265 (comment) created by kim-em
September 26, 2024 07:08 2s
September 26, 2024 07:08 2s
feat: add udiv/umod bitblasting for bv_decide Label PR based on Comment #6895: Issue comment #5281 (comment) created by kim-em
September 26, 2024 07:06 3s
September 26, 2024 07:06 3s
feat: set priority in monadic class instances Label PR based on Comment #6894: Issue comment #5291 (comment) created by kim-em
September 26, 2024 07:00 3s
September 26, 2024 07:00 3s
doc: fix typo in docstring of computeSynthOrder Label PR based on Comment #6893: Issue comment #5398 (comment) created by jcommelin
September 26, 2024 04:51 2s
September 26, 2024 04:51 2s
feat: add lemmas about List.IsPrefix Label PR based on Comment #6892: Issue comment #5448 (comment) created by Command-Master
September 26, 2024 04:19 14s
September 26, 2024 04:19 14s
perf: do not lint unused variables defined in tactics by default Label PR based on Comment #6891: Issue comment #5338 (comment) created by kim-em
September 26, 2024 04:16 1s
September 26, 2024 04:16 1s
feat: add lemmas about List.IsPrefix Label PR based on Comment #6890: Issue comment #5448 (comment) created by kim-em
September 26, 2024 03:55 1s
September 26, 2024 03:55 1s
feat: add udiv/umod bitblasting for bv_decide Label PR based on Comment #6889: Issue comment #5281 (comment) created by bollu
September 26, 2024 03:29 2s
September 26, 2024 03:29 2s
feat: add udiv/umod bitblasting for bv_decide Label PR based on Comment #6888: Issue comment #5281 (comment) created by tobiasgrosser
September 26, 2024 03:25 3s
September 26, 2024 03:25 3s
feat: have autoparams report parameter/field on failure Label PR based on Comment #6887: Issue comment #5474 (comment) created by kim-em
September 26, 2024 03:11 2s
September 26, 2024 03:11 2s
feat: add udiv/umod bitblasting for bv_decide Label PR based on Comment #6886: Issue comment #5281 (comment) created by kim-em
September 26, 2024 03:09 2s
September 26, 2024 03:09 2s
feat: simproc for functions out of Subtype Label PR based on Comment #6885: Issue comment #5477 (comment) created by leanprover-community-mathlib4-bot
September 26, 2024 02:38 2s
September 26, 2024 02:38 2s
RFC: well-founded recursion: automatic .attach insertion Label PR based on Comment #6884: Issue comment #5471 (comment) created by kim-em
September 26, 2024 02:22 2s
September 26, 2024 02:22 2s