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

chore: restore @[simp] on Array.swapAt!_def Label PR based on Comment #6858: Issue comment #5461 (comment) created by leanprover-community-mathlib4-bot
September 25, 2024 01:37 2s
September 25, 2024 01:37 2s
chore: missing List.set_replicate_self Label PR based on Comment #6857: Issue comment #5460 (comment) created by leanprover-community-mathlib4-bot
September 25, 2024 01:17 2s
September 25, 2024 01:17 2s
chore: missing BitVec lemmas Label PR based on Comment #6856: Issue comment #5459 (comment) created by leanprover-community-mathlib4-bot
September 25, 2024 01:10 2s
September 25, 2024 01:10 2s
chore: cleanup of Array docstrings after refactor Label PR based on Comment #6855: Issue comment #5458 (comment) created by leanprover-community-mathlib4-bot
September 24, 2024 23:20 1s
September 24, 2024 23:20 1s
fix: refine how named arguments suppress explicit arguments Label PR based on Comment #6854: Issue comment #5283 (comment) created by leanprover-community-bot
September 24, 2024 23:11 1s
September 24, 2024 23:11 1s
fix: refine how named arguments suppress explicit arguments Label PR based on Comment #6853: Issue comment #5283 (comment) created by leanprover-community-bot
September 24, 2024 22:51 2s
September 24, 2024 22:51 2s
fix: refine how named arguments suppress explicit arguments Label PR based on Comment #6852: Issue comment #5283 (comment) created by leanprover-community-bot
September 24, 2024 22:22 2s
September 24, 2024 22:22 2s
feat: add heq_comm Label PR based on Comment #6851: Issue comment #5456 (comment) created by leanprover-community-mathlib4-bot
September 24, 2024 15:57 2s
September 24, 2024 15:57 2s
feat: manage nested inductive types in deriving Label PR based on Comment #6850: Issue comment #3160 (comment) created by arthur-adjedj
September 24, 2024 15:39 2s
September 24, 2024 15:39 2s
feat: manage nested inductive types in deriving Label PR based on Comment #6849: Issue comment #3160 (comment) created by nomeata
September 24, 2024 15:26 3s
September 24, 2024 15:26 3s
feat: manage nested inductive types in deriving Label PR based on Comment #6848: Issue comment #3160 (comment) created by arthur-adjedj
September 24, 2024 13:42 1s
September 24, 2024 13:42 1s
Signature formatter creates very long lines when many parameters share a type Label PR based on Comment #6847: Issue comment #5424 (comment) created by digama0
September 24, 2024 13:15 2s
September 24, 2024 13:15 2s
feat: refactor of Array Label PR based on Comment #6846: Issue comment #5452 (comment) created by leanprover-community-mathlib4-bot
September 24, 2024 13:02 2s
September 24, 2024 13:02 2s
chore: make some instance arguments implicit Label PR based on Comment #6845: Issue comment #5454 (comment) created by leanprover-community-mathlib4-bot
September 24, 2024 12:59 2s
September 24, 2024 12:59 2s
chore: remove trailing and repeated spaces Label PR based on Comment #6844: Issue comment #5451 (comment) created by nomeata
September 24, 2024 12:46 2s
September 24, 2024 12:46 2s
Add \U00000000 notation for large unicode literals Label PR based on Comment #6843: Issue comment #5443 (comment) created by digama0
September 24, 2024 12:30 2s
September 24, 2024 12:30 2s
Add \U00000000 notation for large unicode literals Label PR based on Comment #6842: Issue comment #5443 (comment) created by eric-wieser
September 24, 2024 11:35 2s
September 24, 2024 11:35 2s
chore: remove trailing and repeated spaces Label PR based on Comment #6841: Issue comment #5451 (comment) created by leanprover-community-mathlib4-bot
September 24, 2024 11:14 2s
September 24, 2024 11:14 2s
Add \U00000000 notation for large unicode literals Label PR based on Comment #6840: Issue comment #5443 (comment) created by digama0
September 24, 2024 09:53 3s
September 24, 2024 09:53 3s
feat: add lemmas about List.IsPrefix Label PR based on Comment #6839: Issue comment #5448 (comment) created by Command-Master
September 24, 2024 09:26 14s
September 24, 2024 09:26 14s
fix: refine how named arguments suppress explicit arguments Label PR based on Comment #6838: Issue comment #5283 (comment) created by leanprover-community-bot
September 24, 2024 08:25 2s
September 24, 2024 08:25 2s
fix: refine how named arguments suppress explicit arguments Label PR based on Comment #6837: Issue comment #5283 (comment) created by kmill
September 24, 2024 08:22 3s
September 24, 2024 08:22 3s
fix: refine how named arguments suppress explicit arguments Label PR based on Comment #6836: Issue comment #5283 (comment) created by leanprover-community-bot
September 24, 2024 08:07 2s
September 24, 2024 08:07 2s
feat: add BitVec.toInt_[intMin|neg|neg_of_ne_intMin ] Label PR based on Comment #6835: Issue comment #5450 (comment) created by leanprover-community-mathlib4-bot
September 24, 2024 07:43 1s
September 24, 2024 07:43 1s
feat: add BitVec.toInt_[intMin|neg|neg_of_ne_intMin ] Label PR based on Comment #6834: Issue comment #5450 (comment) created by tobiasgrosser
September 24, 2024 07:30 2s
September 24, 2024 07:30 2s