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

Label PR based on Comment Label PR based on Comment #6833: created by Command-Master
September 24, 2024 06:54 2s
September 24, 2024 06:54 2s
feat: make instance attribute check that type is a class Label PR based on Comment #6832: Issue comment #4739 (comment) created by kmill
September 24, 2024 05:42 1s
September 24, 2024 05:42 1s
chore: update copyrights Label PR based on Comment #6831: Issue comment #5449 (comment) created by leanprover-community-mathlib4-bot
September 24, 2024 05:31 2s
September 24, 2024 05:31 2s
feat: more of BitVec.getElem_* Label PR based on Comment #6830: Issue comment #5404 (comment) created by tobiasgrosser
September 24, 2024 05:12 11s
September 24, 2024 05:12 11s
feat: more of BitVec.getElem_* Label PR based on Comment #6829: Issue comment #5404 (comment) created by tobiasgrosser
September 24, 2024 05:12 2s
September 24, 2024 05:12 2s
feat: add lemmas about List.IsPrefix Label PR based on Comment #6828: Issue comment #5448 (comment) created by leanprover-community-mathlib4-bot
September 24, 2024 05:04 2s
September 24, 2024 05:04 2s
feat: add lemmas about List.IsPrefix Label PR based on Comment #6827: Issue comment #5448 (comment) created by Command-Master
September 24, 2024 04:39 10s
September 24, 2024 04:39 10s
chore: update Pi instance names Label PR based on Comment #6826: Issue comment #5447 (comment) created by leanprover-community-mathlib4-bot
September 24, 2024 04:12 2s
September 24, 2024 04:12 2s
feat: implement To/FromJSON Empty Label PR based on Comment #6825: Issue comment #5421 (comment) created by TomasPuverle
September 24, 2024 04:07 2s
September 24, 2024 04:07 2s
feat: BitVec.toNat_{add,sub,mul_of_lt} for BitVector non-overflow reasoning Label PR based on Comment #6824: Issue comment #5411 (comment) created by kim-em
September 24, 2024 03:30 2s
September 24, 2024 03:30 2s
chore: cleanup after List.toArray refactor Label PR based on Comment #6823: Issue comment #5446 (comment) created by leanprover-community-mathlib4-bot
September 24, 2024 02:54 2s
September 24, 2024 02:54 2s
chore: Mathlib's lean-pr-testing-NNNN branches should use Batteries' lean-pr-testing-NNNN branches Label PR based on Comment #6822: Issue comment #5444 (comment) created by leanprover-community-mathlib4-bot
September 24, 2024 01:37 2s
September 24, 2024 01:37 2s
Add \U00000000 notation for large unicode literals Label PR based on Comment #6821: Issue comment #5443 (comment) created by leanprover-community-mathlib4-bot
September 24, 2024 01:36 2s
September 24, 2024 01:36 2s
Signature formatter creates very long lines when many parameters share a type Label PR based on Comment #6820: Issue comment #5424 (comment) created by kmill
September 24, 2024 01:07 2s
September 24, 2024 01:07 2s
feat: qsort with proven bounds and correctness proof Label PR based on Comment #6819: Issue comment #5346 (comment) created by kim-em
September 24, 2024 01:05 2s
September 24, 2024 01:05 2s
Signature formatter creates very long lines when many parameters share a type Label PR based on Comment #6818: Issue comment #5424 (comment) created by digama0
September 24, 2024 00:54 2s
September 24, 2024 00:54 2s
Signature formatter creates very long lines when many parameters share a type Label PR based on Comment #6817: Issue comment #5424 (comment) created by kmill
September 24, 2024 00:24 2s
September 24, 2024 00:24 2s
chore: release notes for 4.12.0 Label PR based on Comment #6816: Issue comment #5442 (comment) created by leanprover-community-mathlib4-bot
September 24, 2024 00:21 2s
September 24, 2024 00:21 2s
chore: fix spelling mistakes in RELEASES.md Label PR based on Comment #6815: Issue comment #5440 (comment) created by leanprover-community-mathlib4-bot
September 23, 2024 23:56 1s
September 23, 2024 23:56 1s
chore: fix spelling mistakes in tests Label PR based on Comment #6814: Issue comment #5439 (comment) created by leanprover-community-mathlib4-bot
September 23, 2024 23:48 2s
September 23, 2024 23:48 2s
chore: remove repeated words Label PR based on Comment #6813: Issue comment #5438 (comment) created by leanprover-community-mathlib4-bot
September 23, 2024 23:15 1s
September 23, 2024 23:15 1s
refactor: back rfl tactic primarily via apply_rfl Label PR based on Comment #6812: Issue comment #3718 (comment) created by nomeata
September 23, 2024 22:52 2s
September 23, 2024 22:52 2s
chore: remove (syntactically) duplicate imports Label PR based on Comment #6811: Issue comment #5437 (comment) created by leanprover-community-mathlib4-bot
September 23, 2024 22:19 1s
September 23, 2024 22:19 1s
chore: fix spelling mistakes in src/Lean/Meta/ Label PR based on Comment #6810: Issue comment #5436 (comment) created by leanprover-community-mathlib4-bot
September 23, 2024 22:14 1s
September 23, 2024 22:14 1s
chore: fix spelling mistakes in src/Lean/Elab/ Label PR based on Comment #6809: Issue comment #5435 (comment) created by leanprover-community-mathlib4-bot
September 23, 2024 22:02 1s
September 23, 2024 22:02 1s