Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
590,768 workflow run results
590,768 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #62551: completed by mathlib-bors bot
July 3, 2024 22:54 2s
July 3, 2024 22:54 2s
Merge conflicts Merge conflicts #53173: Scheduled
July 3, 2024 22:48 10m 32s master
master
July 3, 2024 22:48 10m 32s
[Merged by Bors] - chore (Algebra.Order.Ring.Defs): split file and unbundle results Label New Contributors #18901: Pull request #14393 opened by mattrobball
July 3, 2024 22:48 12s mrb/split_algebra_order_ring_defs
mrb/split_algebra_order_ring_defs
July 3, 2024 22:48 12s
[Merged by Bors] - chore (Algebra.Order.Ring.Defs): split file and unbundle results Post PR summary comment #4785: Pull request #14393 opened by mattrobball
July 3, 2024 22:48 37s mrb/split_algebra_order_ring_defs
mrb/split_algebra_order_ring_defs
July 3, 2024 22:48 37s
[Merged by Bors] - chore (Algebra.Order.Ring.Defs): split file and unbundle results lint and suggest #41171: Pull request #14393 opened by mattrobball
July 3, 2024 22:48 50s mrb/split_algebra_order_ring_defs
mrb/split_algebra_order_ring_defs
July 3, 2024 22:48 50s
Dependent Issues Dependent Issues #54073: Scheduled
July 3, 2024 22:46 2m 21s master
master
July 3, 2024 22:46 2m 21s
Monitor Dependency Update Failures Monitor Dependency Update Failures #2421: completed by mans0954
July 3, 2024 22:45 2s
July 3, 2024 22:45 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #62550: completed by mans0954
July 3, 2024 22:45 2s
July 3, 2024 22:45 2s
[Merged by Bors] - chore: remove ported tactic from Mathport syntax Label PR based on Comment #27266: Issue comment #14385 (comment) created by mathlib-bors bot
July 3, 2024 22:44 2s
July 3, 2024 22:44 2s
[Merged by Bors] - chore: remove ported tactic from Mathport syntax Maintainer merge (comment) #50688: Issue comment #14385 (comment) created by mathlib-bors bot
July 3, 2024 22:44 2s
July 3, 2024 22:44 2s
[Merged by Bors] - chore: remove ported tactic from Mathport syntax Add "ready-to-merge" and "delegated" label from comment #46576: Issue comment #14385 (comment) created by mathlib-bors bot
July 3, 2024 22:44 2s
July 3, 2024 22:44 2s
chore: remove ported tactic from Mathport syntax (#14385) continuous integration (mathlib forks) #110490: Commit 343699a pushed by mathlib-bors bot
July 3, 2024 22:44 12s master
master
July 3, 2024 22:44 12s
chore: remove ported tactic from Mathport syntax (#14385) continuous integration #104256: Commit 343699a pushed by mathlib-bors bot
July 3, 2024 22:44 10m 22s master
master
July 3, 2024 22:44 10m 22s
Monitor Dependency Update Failures Monitor Dependency Update Failures #2420: completed by mathlib-bors bot
July 3, 2024 22:43 2s
July 3, 2024 22:43 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #62549: completed by mathlib-bors bot
July 3, 2024 22:43 3s
July 3, 2024 22:43 3s
Monitor Dependency Update Failures Monitor Dependency Update Failures #2419: completed by AntoineChambert-Loir
July 3, 2024 22:40 2s
July 3, 2024 22:40 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #62548: completed by AntoineChambert-Loir
July 3, 2024 22:40 2s
July 3, 2024 22:40 2s
feat(GroupTheory/GroupAction/Iwasawa): the Iwasawa criterion for simplicity lint and suggest #41170: Pull request #12048 synchronize by AntoineChambert-Loir
July 3, 2024 22:39 54s ACL/Iwasawa
ACL/Iwasawa
July 3, 2024 22:39 54s
feat(GroupTheory/GroupAction/Iwasawa): the Iwasawa criterion for simplicity Post PR summary comment #4784: Pull request #12048 synchronize by AntoineChambert-Loir
July 3, 2024 22:39 43s ACL/Iwasawa
ACL/Iwasawa
July 3, 2024 22:39 43s
feat(GroupTheory/GroupAction/Iwasawa): the Iwasawa criterion for simplicity Label New Contributors #18900: Pull request #12048 synchronize by AntoineChambert-Loir
July 3, 2024 22:39 12s ACL/Iwasawa
ACL/Iwasawa
July 3, 2024 22:39 12s
fix import continuous integration (mathlib forks) #110489: Commit 3fc2bc5 pushed by AntoineChambert-Loir
July 3, 2024 22:39 10s ACL/Iwasawa
ACL/Iwasawa
July 3, 2024 22:39 10s
fix import continuous integration #104255: Commit 3fc2bc5 pushed by AntoineChambert-Loir
July 3, 2024 22:39 36m 5s ACL/Iwasawa
ACL/Iwasawa
July 3, 2024 22:39 36m 5s
shake and lint continuous integration (mathlib forks) #110488: Commit 75127a2 pushed by mattrobball
July 3, 2024 22:38 10s mrb/split_algebra_order_ring_defs
mrb/split_algebra_order_ring_defs
July 3, 2024 22:38 10s
shake and lint continuous integration #104254: Commit 75127a2 pushed by mattrobball
July 3, 2024 22:38 46m 25s mrb/split_algebra_order_ring_defs
mrb/split_algebra_order_ring_defs
July 3, 2024 22:38 46m 25s
feat(GroupTheory/GroupAction/Iwasawa): the Iwasawa criterion for simplicity Label New Contributors #18899: Pull request #12048 synchronize by AntoineChambert-Loir
July 3, 2024 22:35 11s ACL/Iwasawa
ACL/Iwasawa
July 3, 2024 22:35 11s