Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
716,126 workflow run results
716,126 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Maintainer merge (review comment) Maintainer merge (review comment) #63685: created by YaelDillies
October 19, 2024 22:22 3s
October 19, 2024 22:22 3s
Add "ready-to-merge" and "delegated" label from PR review comment Add "ready-to-merge" and "delegated" label from PR review comment #6635: created by YaelDillies
October 19, 2024 22:22 3s
October 19, 2024 22:22 3s
Maintainer merge (review) Maintainer merge (review) #51619: submitted by YaelDillies
October 19, 2024 22:22 3s
October 19, 2024 22:22 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #46380: submitted by YaelDillies
October 19, 2024 22:22 3s
October 19, 2024 22:22 3s
feat(Normed/Group): add nndist_one_right etc (#17954) (Unnamed workflow) #327: Commit e9f0a88 pushed by mathlib-bors bot
October 19, 2024 22:22 Startup failure staging-squash-merge.tmp
staging-squash-merge.tmp
October 19, 2024 22:22 Startup failure
chore(FieldTheory/Galois): Move infinite Galois (#17945) continuous integration (mathlib forks) #141974: Commit e0dccaa pushed by mathlib-bors bot
October 19, 2024 22:22 10s staging
staging
October 19, 2024 22:22 10s
chore(FieldTheory/Galois): Move infinite Galois (#17945) continuous integration (staging) #11179: Commit e0dccaa pushed by mathlib-bors bot
October 19, 2024 22:22 7m 12s staging
staging
October 19, 2024 22:22 7m 12s
[Merged by Bors] - chore(FieldTheory/Galois): Move infinite Galois Add "ready-to-merge" and "delegated" label from comment #60643: Issue comment #17945 (comment) created by kim-em
October 19, 2024 22:21 15s
October 19, 2024 22:21 15s
[Merged by Bors] - chore(FieldTheory/Galois): Move infinite Galois bot fix style (comment) #7623: Issue comment #17945 (comment) created by kim-em
October 19, 2024 22:21 1s
October 19, 2024 22:21 1s
[Merged by Bors] - chore(FieldTheory/Galois): Move infinite Galois Maintainer merge (comment) #65985: Issue comment #17945 (comment) created by kim-em
October 19, 2024 22:21 1s
October 19, 2024 22:21 1s
[Merged by Bors] - chore(FieldTheory/Galois): Move infinite Galois Label PR based on Comment #41333: Issue comment #17945 (comment) created by kim-em
October 19, 2024 22:21 2s
October 19, 2024 22:21 2s
feat(CategoryTheory/Monoidal): composition of monoidal category adjunctions bot fix style (comment) #7622: Issue comment #17956 (comment) created by mathlib4-dependent-issues-bot
October 19, 2024 22:21 2s
October 19, 2024 22:21 2s
feat(CategoryTheory/Monoidal): composition of monoidal category adjunctions Label PR based on Comment #41332: Issue comment #17956 (comment) created by mathlib4-dependent-issues-bot
October 19, 2024 22:21 2s
October 19, 2024 22:21 2s
feat(CategoryTheory/Monoidal): composition of monoidal category adjunctions Maintainer merge (comment) #65984: Issue comment #17956 (comment) created by mathlib4-dependent-issues-bot
October 19, 2024 22:21 2s
October 19, 2024 22:21 2s
feat(CategoryTheory/Monoidal): composition of monoidal category adjunctions Add "ready-to-merge" and "delegated" label from comment #60642: Issue comment #17956 (comment) created by mathlib4-dependent-issues-bot
October 19, 2024 22:21 2s
October 19, 2024 22:21 2s
Dependent Issues Dependent Issues #63936: Scheduled
October 19, 2024 22:20 2m 56s master
master
October 19, 2024 22:20 2m 56s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #92003: completed by urkud
October 19, 2024 22:19 2s
October 19, 2024 22:19 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #92002: completed by mathlib-bors bot
October 19, 2024 22:18 2s
October 19, 2024 22:18 2s
feat(CategoryTheory/Monoidal): composition of monoidal category adjunctions Label New Contributors #39049: Pull request #17956 opened by joelriou
October 19, 2024 22:16 24s adjunction-comp-is-monoidal
adjunction-comp-is-monoidal
October 19, 2024 22:16 24s
feat(CategoryTheory/Monoidal): composition of monoidal category adjunctions Autolabel PRs #1211: Pull request #17956 opened by joelriou
October 19, 2024 22:16 50s adjunction-comp-is-monoidal
adjunction-comp-is-monoidal
October 19, 2024 22:16 50s
feat(CategoryTheory/Monoidal): composition of monoidal category adjunctions lint and suggest #61293: Pull request #17956 opened by joelriou
October 19, 2024 22:16 1m 23s adjunction-comp-is-monoidal
adjunction-comp-is-monoidal
October 19, 2024 22:16 1m 23s
feat(CategoryTheory/Monoidal): composition of monoidal category adjunctions Post PR summary comment #24904: Pull request #17956 opened by joelriou
October 19, 2024 22:16 56s adjunction-comp-is-monoidal
adjunction-comp-is-monoidal
October 19, 2024 22:16 56s
Monitor Dependency Update Failures Monitor Dependency Update Failures #4800: completed by mathlib4-update-dependencies-bot
October 19, 2024 22:13 2s
October 19, 2024 22:13 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #92001: completed by mathlib4-update-dependencies-bot
October 19, 2024 22:13 2s
October 19, 2024 22:13 2s
feat(Normed/Group): add nndist_one_right etc (#17954) continuous integration (mathlib forks) #141973: Commit e9f0a88 pushed by mathlib-bors bot
October 19, 2024 22:11 15s master
master
October 19, 2024 22:11 15s