Skip to content

Actions: leanprover-community/mathlib4

Actions

Add "ready-to-merge" and "delegated" label from comment

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_comment.yml
32,050 workflow run results
32,050 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Merged by Bors] - feat: additivize some Set.center results Add "ready-to-merge" and "delegated" label from comment #47279: Issue comment #14331 (comment) created by mathlib-bors bot
July 9, 2024 23:50 2s
July 9, 2024 23:50 2s
[Merged by Bors] - doc: fix some author fields in references Add "ready-to-merge" and "delegated" label from comment #47278: Issue comment #14391 (comment) created by mathlib-bors bot
July 9, 2024 23:50 2s
July 9, 2024 23:50 2s
[Merged by Bors] - chore: homogenize TODO format Add "ready-to-merge" and "delegated" label from comment #47277: Issue comment #14474 (comment) created by mathlib-bors bot
July 9, 2024 23:50 3s
July 9, 2024 23:50 3s
[Merged by Bors] - chore: rename ArithmeticFunction.card_divisors -> Nat.card_divisors Add "ready-to-merge" and "delegated" label from comment #47276: Issue comment #14589 (comment) created by urkud
July 9, 2024 23:46 16s
July 9, 2024 23:46 16s
Add "ready-to-merge" and "delegated" label from comment Add "ready-to-merge" and "delegated" label from comment #47275: created by adomasbaliuka
July 9, 2024 23:43 2s
July 9, 2024 23:43 2s
[Merged by Bors] - feat: Binary entropy Add "ready-to-merge" and "delegated" label from comment #47274: Issue comment #9734 (comment) created by adomasbaliuka
July 9, 2024 23:38 2s
July 9, 2024 23:38 2s
[Merged by Bors] - feat(Logic/Basic): add simp lemma for @Exists.choose _ (· = a) _ Add "ready-to-merge" and "delegated" label from comment #47273: Issue comment #14419 (comment) created by urkud
July 9, 2024 23:21 12s
July 9, 2024 23:21 12s
[Merged by Bors] - feat: add denseRange_subtype_val Add "ready-to-merge" and "delegated" label from comment #47272: Issue comment #14592 (comment) created by urkud
July 9, 2024 23:20 12s
July 9, 2024 23:20 12s
[Merged by Bors] - feat(Logic/Basic): add simp lemma for @Exists.choose _ (· = a) _ Add "ready-to-merge" and "delegated" label from comment #47271: Issue comment #14419 (comment) created by leanprover-bot
July 9, 2024 23:16 3s
July 9, 2024 23:16 3s
[Merged by Bors] - feat(LpSpace/DomAct): add a lemma + @[to_additive] Add "ready-to-merge" and "delegated" label from comment #47270: Issue comment #14488 (comment) created by mathlib-bors bot
July 9, 2024 22:47 3s
July 9, 2024 22:47 3s
[Merged by Bors] - doc: fix some author fields in references Add "ready-to-merge" and "delegated" label from comment #47269: Issue comment #14391 (comment) created by eric-wieser
July 9, 2024 22:46 16s
July 9, 2024 22:46 16s
[Merged by Bors] - chore: rename ArithmeticFunction.card_divisors -> Nat.card_divisors Add "ready-to-merge" and "delegated" label from comment #47268: Issue comment #14589 (comment) created by eric-wieser
July 9, 2024 22:43 2s
July 9, 2024 22:43 2s
[Merged by Bors] - feat: add denseRange_subtype_val Add "ready-to-merge" and "delegated" label from comment #47267: Issue comment #14592 (comment) created by mathlib-bors bot
July 9, 2024 22:43 3s
July 9, 2024 22:43 3s
[Merged by Bors] - chore: homogenize TODO format Add "ready-to-merge" and "delegated" label from comment #47266: Issue comment #14474 (comment) created by eric-wieser
July 9, 2024 22:42 16s
July 9, 2024 22:42 16s
[Merged by Bors] - feat(Logic/Basic): add simp lemma for @Exists.choose _ (· = a) _ Add "ready-to-merge" and "delegated" label from comment #47265: Issue comment #14419 (comment) created by mathlib-bors bot
July 9, 2024 22:40 2s
July 9, 2024 22:40 2s
[Merged by Bors] - feat(Logic/Basic): add simp lemma for @Exists.choose _ (· = a) _ Add "ready-to-merge" and "delegated" label from comment #47264: Issue comment #14419 (comment) created by eric-wieser
July 9, 2024 22:40 17s
July 9, 2024 22:40 17s
[Merged by Bors] - feat(Logic/Basic): add simp lemma for @Exists.choose _ (· = a) _ Add "ready-to-merge" and "delegated" label from comment #47263: Issue comment #14419 (comment) created by eric-wieser
July 9, 2024 22:40 2s
July 9, 2024 22:40 2s
mrb/something Add "ready-to-merge" and "delegated" label from comment #47262: Issue comment #14588 (comment) created by leanprover-bot
July 9, 2024 22:37 2s
July 9, 2024 22:37 2s
[Merged by Bors] - feat: a replacement for Nat.leRecOn' that works with induction Add "ready-to-merge" and "delegated" label from comment #47261: Issue comment #14431 (comment) created by eric-wieser
July 9, 2024 22:17 3s
July 9, 2024 22:17 3s
[Merged by Bors] - feat: add polynomial Wronskian Add "ready-to-merge" and "delegated" label from comment #47260: Issue comment #14243 (comment) created by seewoo5
July 9, 2024 22:02 2s
July 9, 2024 22:02 2s
Add "ready-to-merge" and "delegated" label from comment Add "ready-to-merge" and "delegated" label from comment #47259: created by leanprover-community-mathlib4-bot
July 9, 2024 21:49 2s
July 9, 2024 21:49 2s
mrb/something Add "ready-to-merge" and "delegated" label from comment #47258: Issue comment #14588 (comment) created by mattrobball
July 9, 2024 21:35 2s
July 9, 2024 21:35 2s
[Merged by Bors] - chore: update Mathlib dependencies 2024-07-09 Add "ready-to-merge" and "delegated" label from comment #47257: Issue comment #14584 (comment) created by mathlib-bors bot
July 9, 2024 20:30 3s
July 9, 2024 20:30 3s
[Merged by Bors] - chore: update Mathlib dependencies 2024-07-09 Add "ready-to-merge" and "delegated" label from comment #47256: Issue comment #14584 (comment) created by leanprover-community-mathlib4-bot
July 9, 2024 20:20 2s
July 9, 2024 20:20 2s
chore: update Mathlib dependencies 2024-07-09 Add "ready-to-merge" and "delegated" label from comment #47255: Issue comment #14581 (comment) created by mathlib-bors bot
July 9, 2024 19:36 2s
July 9, 2024 19:36 2s