Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
534,922 workflow run results
534,922 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: fix junk value for sInf on WithTop (#13717) continuous integration (staging) #8515: Commit d19a0ce pushed by mathlib-bors bot
June 11, 2024 23:44 59m 19s staging
staging
June 11, 2024 23:44 59m 19s
[Merged by Bors] - chore(*): more since := in deprecated move-decls (comment) #3506: Issue comment #13735 (comment) created by mathlib-bors bot
June 11, 2024 23:44 2s
June 11, 2024 23:44 2s
[Merged by Bors] - chore(*): more since := in deprecated Maintainer merge (comment) #47845: Issue comment #13735 (comment) created by mathlib-bors bot
June 11, 2024 23:44 2s
June 11, 2024 23:44 2s
[Merged by Bors] - chore(*): more since := in deprecated Label PR based on Comment #24686: Issue comment #13735 (comment) created by mathlib-bors bot
June 11, 2024 23:44 2s
June 11, 2024 23:44 2s
[Merged by Bors] - chore(*): more since := in deprecated Add "ready-to-merge" and "delegated" label from comment #43996: Issue comment #13735 (comment) created by mathlib-bors bot
June 11, 2024 23:44 3s
June 11, 2024 23:44 3s
chore(*): more since := in deprecated (#13735) continuous integration (mathlib forks) #104433: Commit a43df3c pushed by mathlib-bors bot
June 11, 2024 23:44 15s master
master
June 11, 2024 23:44 15s
chore(*): more since := in deprecated (#13735) continuous integration #98573: Commit a43df3c pushed by mathlib-bors bot
June 11, 2024 23:44 13m 17s master
master
June 11, 2024 23:44 13m 17s
apply lost batteries update from nightly-testing-2024-06-09 continuous integration (mathlib forks) #104432: Commit 87ec919 pushed by tydeu
June 11, 2024 23:40 11s lean-pr-testing-4371
lean-pr-testing-4371
June 11, 2024 23:40 11s
apply lost batteries update from nightly-testing-2024-06-09 continuous integration #98572: Commit 87ec919 pushed by tydeu
June 11, 2024 23:40 1h 9m 30s lean-pr-testing-4371
lean-pr-testing-4371
June 11, 2024 23:40 1h 9m 30s
[Merged by Bors] - feat: the finite adele ring is an algebra over the finite integral adeles. move-decls (label) #3474: Pull request #13705 labeled by kbuzzard
June 11, 2024 23:40 1s kbuzzard-finite-adele-stuff
kbuzzard-finite-adele-stuff
June 11, 2024 23:40 1s
Maintainer merge (review comment) Maintainer merge (review comment) #44579: created by kbuzzard
June 11, 2024 23:39 2s
June 11, 2024 23:39 2s
Maintainer merge (review) Maintainer merge (review) #37341: submitted by kbuzzard
June 11, 2024 23:39 2s
June 11, 2024 23:39 2s
move-decls (comment) move-decls (comment) #3505: created by kbuzzard
June 11, 2024 23:39 2s
June 11, 2024 23:39 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #32716: submitted by kbuzzard
June 11, 2024 23:39 2s
June 11, 2024 23:39 2s
Merge conflicts Merge conflicts #51175: Scheduled
June 11, 2024 23:34 17s master
master
June 11, 2024 23:34 17s
Dependent Issues Dependent Issues #52039: Scheduled
June 11, 2024 23:31 3m 16s master
master
June 11, 2024 23:31 3m 16s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #56846: completed by mckoen
June 11, 2024 23:29 2s
June 11, 2024 23:29 2s
move-decls (comment) move-decls (comment) #3504: edited by alreadydone
June 11, 2024 23:24 2s
June 11, 2024 23:24 2s
Maintainer merge (review comment) Maintainer merge (review comment) #44578: edited by alreadydone
June 11, 2024 23:24 13s
June 11, 2024 23:24 13s
Merge conflicts Merge conflicts #51174: Scheduled
June 11, 2024 23:21 15s master
master
June 11, 2024 23:21 15s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #56845: completed by eric-wieser
June 11, 2024 23:20 3s
June 11, 2024 23:20 3s
Dependent Issues Dependent Issues #52038: Scheduled
June 11, 2024 23:19 5m 18s master
master
June 11, 2024 23:19 5m 18s
[Merged by Bors] - feat(CategoryTheory): MonoidalClosed instance on functors to Type Post PR summary comment #864: Pull request #13710 synchronize by mckoen
June 11, 2024 23:16 34s mckoen/density
mckoen/density
June 11, 2024 23:16 34s
[Merged by Bors] - feat(CategoryTheory): MonoidalClosed instance on functors to Type lint and suggest #37248: Pull request #13710 synchronize by mckoen
June 11, 2024 23:16 54s mckoen/density
mckoen/density
June 11, 2024 23:16 54s
[Merged by Bors] - feat(CategoryTheory): MonoidalClosed instance on functors to Type Label New Contributors #14978: Pull request #13710 synchronize by mckoen
June 11, 2024 23:16 10s mckoen/density
mckoen/density
June 11, 2024 23:16 10s