Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
674,165 workflow run results
674,165 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: remove lint-style.sh (#15051) continuous integration (staging) #9808: Commit 7a3e697 pushed by mathlib-bors bot
August 15, 2024 23:53 9m 18s staging
staging
August 15, 2024 23:53 9m 18s
feat: remove lint-style.sh (#15051) continuous integration (mathlib forks) #122704: Commit 7a3e697 pushed by mathlib-bors bot
August 15, 2024 23:53 10s staging
staging
August 15, 2024 23:53 10s
[Merged by Bors] - chore: remove unnecessary references to Nat.zero_eq Maintainer merge (comment) #56998: Issue comment #15858 (comment) created by mathlib-bors bot
August 15, 2024 23:53 2s
August 15, 2024 23:53 2s
[Merged by Bors] - chore: remove unnecessary references to Nat.zero_eq Label PR based on Comment #33104: Issue comment #15858 (comment) created by mathlib-bors bot
August 15, 2024 23:53 2s
August 15, 2024 23:53 2s
[Merged by Bors] - chore: remove unnecessary references to Nat.zero_eq Add "ready-to-merge" and "delegated" label from comment #52414: Issue comment #15858 (comment) created by mathlib-bors bot
August 15, 2024 23:53 3s
August 15, 2024 23:53 3s
[Merged by Bors] - chore: better failures for linear_combination Label PR based on Comment #33105: Issue comment #15791 (comment) created by mathlib-bors bot
August 15, 2024 23:53 3s
August 15, 2024 23:53 3s
[Merged by Bors] - chore: better failures for linear_combination Maintainer merge (comment) #56999: Issue comment #15791 (comment) created by mathlib-bors bot
August 15, 2024 23:53 3s
August 15, 2024 23:53 3s
[Merged by Bors] - chore: better failures for linear_combination Add "ready-to-merge" and "delegated" label from comment #52415: Issue comment #15791 (comment) created by mathlib-bors bot
August 15, 2024 23:53 3s
August 15, 2024 23:53 3s
[Merged by Bors] - feat: topology on ENat Add "ready-to-merge" and "delegated" label from comment #52411: Issue comment #15380 (comment) created by mathlib-bors bot
August 15, 2024 23:53 2s
August 15, 2024 23:53 2s
[Merged by Bors] - feat: Finset builder notation Maintainer merge (comment) #56996: Issue comment #11582 (comment) created by mathlib-bors bot
August 15, 2024 23:53 2s
August 15, 2024 23:53 2s
[Merged by Bors] - feat: Finset builder notation Label PR based on Comment #33102: Issue comment #11582 (comment) created by mathlib-bors bot
August 15, 2024 23:53 2s
August 15, 2024 23:53 2s
[Merged by Bors] - feat: Finset builder notation Add "ready-to-merge" and "delegated" label from comment #52412: Issue comment #11582 (comment) created by mathlib-bors bot
August 15, 2024 23:53 2s
August 15, 2024 23:53 2s
[Merged by Bors] - feat: add some convenience lemmas for spectrum and inv Add "ready-to-merge" and "delegated" label from comment #52413: Issue comment #15855 (comment) created by mathlib-bors bot
August 15, 2024 23:53 3s
August 15, 2024 23:53 3s
[Merged by Bors] - feat: add some convenience lemmas for spectrum and inv Maintainer merge (comment) #56997: Issue comment #15855 (comment) created by mathlib-bors bot
August 15, 2024 23:53 3s
August 15, 2024 23:53 3s
[Merged by Bors] - feat: add some convenience lemmas for spectrum and inv Label PR based on Comment #33103: Issue comment #15855 (comment) created by mathlib-bors bot
August 15, 2024 23:53 3s
August 15, 2024 23:53 3s
[Merged by Bors] - chore: splitting up metric spaces files Label PR based on Comment #33100: Issue comment #15790 (comment) created by mathlib-bors bot
August 15, 2024 23:53 2s
August 15, 2024 23:53 2s
[Merged by Bors] - chore: splitting up metric spaces files Maintainer merge (comment) #56994: Issue comment #15790 (comment) created by mathlib-bors bot
August 15, 2024 23:53 2s
August 15, 2024 23:53 2s
[Merged by Bors] - feat: topology on ENat Maintainer merge (comment) #56995: Issue comment #15380 (comment) created by mathlib-bors bot
August 15, 2024 23:53 2s
August 15, 2024 23:53 2s
[Merged by Bors] - chore: splitting up metric spaces files Add "ready-to-merge" and "delegated" label from comment #52410: Issue comment #15790 (comment) created by mathlib-bors bot
August 15, 2024 23:53 2s
August 15, 2024 23:53 2s
[Merged by Bors] - feat: topology on ENat Label PR based on Comment #33101: Issue comment #15380 (comment) created by mathlib-bors bot
August 15, 2024 23:53 3s
August 15, 2024 23:53 3s
Merge conflicts Merge conflicts #57068: Scheduled
August 15, 2024 23:48 4m 21s master
master
August 15, 2024 23:48 4m 21s
Dependent Issues Dependent Issues #58035: Scheduled
August 15, 2024 23:46 3m 59s master
master
August 15, 2024 23:46 3m 59s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #73934: completed by artie2000
August 15, 2024 23:38 2s
August 15, 2024 23:38 2s
upstream continuous integration #115568: Commit 5b4092d pushed by kim-em
August 15, 2024 23:37 56m 24s nightly-testing
nightly-testing
August 15, 2024 23:37 56m 24s
upstream continuous integration (mathlib forks) #122703: Commit 5b4092d pushed by kim-em
August 15, 2024 23:37 15s nightly-testing
nightly-testing
August 15, 2024 23:37 15s