Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
985,574 workflow run results
985,574 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Merged by Bors] - feat(AlgebraicTopology): StrictSegal simplicial sets are quasicategories Add "ready-to-merge" and "delegated" label #801: Issue comment #19270 (comment) created by joelriou
November 22, 2024 23:31 11s
November 22, 2024 23:31 11s
[Merged by Bors] - feat(AlgebraicTopology): StrictSegal simplicial sets are quasicategories Maintainer merge #6672: Issue comment #19270 (comment) created by joelriou
November 22, 2024 23:31 13s
November 22, 2024 23:31 13s
[Merged by Bors] - feat(AlgebraicTopology): StrictSegal simplicial sets are quasicategories Bench output summary #5000: Issue comment #19270 (comment) created by joelriou
November 22, 2024 23:31 2s
November 22, 2024 23:31 2s
[Merged by Bors] - feat(AlgebraicTopology): StrictSegal simplicial sets are quasicategories Label PR based on Comment #46837: Issue comment #19270 (comment) created by joelriou
November 22, 2024 23:31 2s
November 22, 2024 23:31 2s
[Merged by Bors] - feat(AlgebraicTopology): StrictSegal simplicial sets are quasicategories bot fix style (comment) #13627: Issue comment #19270 (comment) created by joelriou
November 22, 2024 23:31 2s
November 22, 2024 23:31 2s
bot fix style (review) bot fix style (review) #10663: submitted by joelriou
November 22, 2024 23:29 2s
November 22, 2024 23:29 2s
bot fix style (review comment) bot fix style (review comment) #14447: created by joelriou
November 22, 2024 23:29 3s
November 22, 2024 23:29 3s
Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label #800: created by joelriou
November 22, 2024 23:29 12s
November 22, 2024 23:29 12s
Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label #799: submitted by joelriou
November 22, 2024 23:29 12s
November 22, 2024 23:29 12s
Maintainer merge Maintainer merge #6670: submitted by joelriou
November 22, 2024 23:29 15s
November 22, 2024 23:29 15s
Maintainer merge Maintainer merge #6671: created by joelriou
November 22, 2024 23:29 16s
November 22, 2024 23:29 16s
Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label #797: created by joelriou
November 22, 2024 23:27 14s
November 22, 2024 23:27 14s
bot fix style (review comment) bot fix style (review comment) #14446: created by joelriou
November 22, 2024 23:27 2s
November 22, 2024 23:27 2s
bot fix style (review) bot fix style (review) #10662: submitted by joelriou
November 22, 2024 23:27 2s
November 22, 2024 23:27 2s
Maintainer merge Maintainer merge #6668: created by joelriou
November 22, 2024 23:27 10s
November 22, 2024 23:27 10s
Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label #798: submitted by joelriou
November 22, 2024 23:27 1m 1s
November 22, 2024 23:27 1m 1s
Maintainer merge Maintainer merge #6669: submitted by joelriou
November 22, 2024 23:27 1m 9s
November 22, 2024 23:27 1m 9s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #103558: completed by alreadydone
November 22, 2024 23:27 2s
November 22, 2024 23:27 2s
Merge conflicts Merge conflicts #65855: Scheduled
November 22, 2024 23:24 5m 9s master
master
November 22, 2024 23:24 5m 9s
Maintainer merge Maintainer merge #6667: submitted by joelriou
November 22, 2024 23:24 10s
November 22, 2024 23:24 10s
bot fix style (review comment) bot fix style (review comment) #14445: created by joelriou
November 22, 2024 23:24 3s
November 22, 2024 23:24 3s
bot fix style (review) bot fix style (review) #10661: submitted by joelriou
November 22, 2024 23:24 3s
November 22, 2024 23:24 3s
Maintainer merge Maintainer merge #6666: created by joelriou
November 22, 2024 23:24 11s
November 22, 2024 23:24 11s
Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label #795: created by joelriou
November 22, 2024 23:24 12s
November 22, 2024 23:24 12s
Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label #796: submitted by joelriou
November 22, 2024 23:24 14s
November 22, 2024 23:24 14s