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,566 workflow runs
8,566 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add Bitvec reverse definition, getLsbD_reverse, getMsbD_reverse, reverse_append, reverse_replicate and Nat.mod_sub_eq_sub_mod Label PR based on Comment #8878: Issue comment #6476 (comment) created by leanprover-community-bot
December 31, 2024 16:00 2s
December 31, 2024 16:00 2s
feat: Upstream derive handler for ToExpr from Mathlib Label PR based on Comment #8877: Issue comment #5906 (comment) created by kmill
December 31, 2024 15:49 2s
December 31, 2024 15:49 2s
feat: E-matching procedure for the grind tactic Label PR based on Comment #8876: Issue comment #6481 (comment) created by leanprover-community-bot
December 31, 2024 02:50 2s
December 31, 2024 02:50 2s
feat: importModules without loading environment extensions Label PR based on Comment #8875: Issue comment #6325 (comment) created by eric-wieser
December 31, 2024 02:07 2s
December 31, 2024 02:07 2s
perf: speed up JSON serialisation Label PR based on Comment #8874: Issue comment #6479 (comment) created by hargoniX
December 30, 2024 23:05 2s
December 30, 2024 23:05 2s
chore: reduce churn in tests/lean/run/meta5.lean Label PR based on Comment #8873: Issue comment #6480 (comment) created by leanprover-community-bot
December 30, 2024 23:03 2s
December 30, 2024 23:03 2s
perf: speed up JSON serialisation Label PR based on Comment #8872: Issue comment #6479 (comment) created by leanprover-bot
December 30, 2024 23:02 3s
December 30, 2024 23:02 3s
perf: speed up JSON serialisation Label PR based on Comment #8871: Issue comment #6479 (comment) created by hargoniX
December 30, 2024 22:34 2s
December 30, 2024 22:34 2s
perf: speed up JSON serialisation Label PR based on Comment #8870: Issue comment #6479 (comment) created by leanprover-bot
December 30, 2024 22:29 2s
December 30, 2024 22:29 2s
perf: speed up JSON serialisation Label PR based on Comment #8869: Issue comment #6479 (comment) created by hargoniX
December 30, 2024 22:08 1s
December 30, 2024 22:08 1s
Label PR based on Comment Label PR based on Comment #8868: created by hargoniX
December 30, 2024 22:08 2s
December 30, 2024 22:08 2s
fix: internalize nested ground patterns when activating ematch theorems Label PR based on Comment #8867: Issue comment #6478 (comment) created by leanprover-community-bot
December 30, 2024 16:17 2s
December 30, 2024 16:17 2s
feat: partial_fixpoint: theory Label PR based on Comment #8866: Issue comment #6477 (comment) created by leanprover-community-bot
December 30, 2024 12:00 2s
December 30, 2024 12:00 2s
feat: asynchronous kernel checking Label PR based on Comment #8865: Issue comment #6368 (comment) created by leanprover-bot
December 30, 2024 11:41 1s
December 30, 2024 11:41 1s
feat: asynchronous kernel checking Label PR based on Comment #8864: Issue comment #6368 (comment) created by Kha
December 30, 2024 11:22 1s
December 30, 2024 11:22 1s
feat: ematch theorem activation for grind Label PR based on Comment #8863: Issue comment #6475 (comment) created by leanprover-community-bot
December 30, 2024 10:47 1s
December 30, 2024 10:47 1s
feat: check pattern coverage in the grind_pattern command Label PR based on Comment #8862: Issue comment #6474 (comment) created by leanprover-community-bot
December 30, 2024 03:44 2s
December 30, 2024 03:44 2s
feat: upstream ToExpr deriving handler from Mathlib Label PR based on Comment #8861: Issue comment #6473 (comment) created by leanprover-community-bot
December 29, 2024 22:58 2s
December 29, 2024 22:58 2s
feat: theorem patterns for heuristic instantiation in grind Label PR based on Comment #8860: Issue comment #6472 (comment) created by leanprover-community-bot
December 29, 2024 21:17 2s
December 29, 2024 21:17 2s
A "declaration has metavariables" error Label PR based on Comment #8859: Issue comment #5925 (comment) created by mik-jozef
December 29, 2024 12:39 2s
December 29, 2024 12:39 2s
perf: tune Array.push runtime code Label PR based on Comment #8858: Issue comment #6471 (comment) created by leanprover-bot
December 29, 2024 11:58 2s
December 29, 2024 11:58 2s
perf: tune Array.push runtime code Label PR based on Comment #8857: Issue comment #6471 (comment) created by hargoniX
December 29, 2024 11:39 1s
December 29, 2024 11:39 1s
perf: tune Array.push runtime code Label PR based on Comment #8856: Issue comment #6471 (comment) created by leanprover-bot
December 29, 2024 11:36 2s
December 29, 2024 11:36 2s
perf: tune Array.push runtime code Label PR based on Comment #8855: Issue comment #6471 (comment) created by leanprover-community-bot
December 29, 2024 11:33 2s
December 29, 2024 11:33 2s
perf: tune Array.push runtime code Label PR based on Comment #8854: Issue comment #6471 (comment) created by hargoniX
December 29, 2024 11:17 2s
December 29, 2024 11:17 2s