Skip to content

Actions: leanprover-community/mathlib4

Actions

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

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
maintainer_bors.yml
433 workflow run results
433 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Merged by Bors] - chore: add shortcut instances after LinearOrder Nat Add "ready-to-merge" and "delegated" label #433: Issue comment #19346 (comment) created by Ruben-VandeVelde
November 21, 2024 23:34 11s
November 21, 2024 23:34 11s
Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label #431: submitted by vihdzp
November 21, 2024 23:02 9s
November 21, 2024 23:02 9s
Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label #432: created by vihdzp
November 21, 2024 23:02 10s
November 21, 2024 23:02 10s
[Merged by Bors] - style(Data/Matrix/Block): define Matrix.fromBlocks more esthetically Add "ready-to-merge" and "delegated" label #430: Issue comment #19324 (comment) created by mathlib-bors bot
November 21, 2024 22:08 14s
November 21, 2024 22:08 14s
perf(CI): automatically benchmark PRs when they are opened Add "ready-to-merge" and "delegated" label #429: Issue comment #19329 (comment) created by grunweg
November 21, 2024 21:48 11s
November 21, 2024 21:48 11s
[Merged by Bors] - refactor: use SignType to define IsTotallyUnimodular Add "ready-to-merge" and "delegated" label #428: Issue comment #19345 (comment) created by mathlib-bors bot
November 21, 2024 21:45 15s
November 21, 2024 21:45 15s
perf(CI): automatically benchmark PRs when they are opened Add "ready-to-merge" and "delegated" label #427: Issue comment #19329 (comment) created by alreadydone
November 21, 2024 21:45 14s
November 21, 2024 21:45 14s
[Merged by Bors] - style(Data/Matrix/Block): define Matrix.fromBlocks more esthetically Add "ready-to-merge" and "delegated" label #426: Issue comment #19324 (comment) created by kim-em
November 21, 2024 21:42 12s
November 21, 2024 21:42 12s
[Merged by Bors] - refactor: use SignType to define IsTotallyUnimodular Add "ready-to-merge" and "delegated" label #425: Issue comment #19345 (comment) created by b-mehta
November 21, 2024 21:37 12s
November 21, 2024 21:37 12s
[Merged by Bors] - chore: split out Algebra.GroupWithZero.Nat Add "ready-to-merge" and "delegated" label #424: Issue comment #19342 (comment) created by kim-em
November 21, 2024 21:35 11s
November 21, 2024 21:35 11s
Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label #423: created by eric-wieser
November 21, 2024 21:34 10s
November 21, 2024 21:34 10s
Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label #422: submitted by eric-wieser
November 21, 2024 21:34 10s
November 21, 2024 21:34 10s
Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label #420: created by eric-wieser
November 21, 2024 21:34 10s
November 21, 2024 21:34 10s
Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label #421: submitted by eric-wieser
November 21, 2024 21:34 11s
November 21, 2024 21:34 11s
[Merged by Bors] - refactor: use SignType to define IsTotallyUnimodular Add "ready-to-merge" and "delegated" label #419: Issue comment #19345 (comment) created by grunweg
November 21, 2024 21:31 14s
November 21, 2024 21:31 14s
Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label #416: created by alreadydone
November 21, 2024 20:54 12s
November 21, 2024 20:54 12s
Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label #418: created by alreadydone
November 21, 2024 20:54 12s
November 21, 2024 20:54 12s
Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label #417: submitted by alreadydone
November 21, 2024 20:54 15s
November 21, 2024 20:54 15s
Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label #414: created by sgouezel
November 21, 2024 20:08 10s
November 21, 2024 20:08 10s
Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label #415: submitted by sgouezel
November 21, 2024 20:08 14s
November 21, 2024 20:08 14s
Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label #412: created by sgouezel
November 21, 2024 20:08 20s
November 21, 2024 20:08 20s
Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label #413: submitted by sgouezel
November 21, 2024 20:08 14s
November 21, 2024 20:08 14s
Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label #411: created by sgouezel
November 21, 2024 20:07 12s
November 21, 2024 20:07 12s
Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label #410: submitted by sgouezel
November 21, 2024 20:07 13s
November 21, 2024 20:07 13s
Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label #409: created by grunweg
November 21, 2024 20:01 12s
November 21, 2024 20:01 12s