Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
885,259 workflow run results
885,259 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. #92018: completed by YaelDillies
October 19, 2024 23:59 3s
October 19, 2024 23:59 3s
Update lean-toolchain for testing https://github.com/leanprover/lean4… continuous integration (mathlib forks) #141990: Commit 668e5eb pushed by leanprover-community-mathlib4-bot
October 19, 2024 23:49 9s lean-pr-testing-5779
lean-pr-testing-5779
October 19, 2024 23:49 9s
Update lean-toolchain for testing https://github.com/leanprover/lean4… continuous integration #133488: Commit 668e5eb pushed by leanprover-community-mathlib4-bot
October 19, 2024 23:49 42m 6s lean-pr-testing-5779
lean-pr-testing-5779
October 19, 2024 23:49 42m 6s
Merge conflicts Merge conflicts #62860: Scheduled
October 19, 2024 23:48 15s master
master
October 19, 2024 23:48 15s
Dependent Issues Dependent Issues #63942: Scheduled
October 19, 2024 23:46 4m 36s master
master
October 19, 2024 23:46 4m 36s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #92017: completed by alreadydone
October 19, 2024 23:45 2s
October 19, 2024 23:45 2s
Update lean-toolchain for testing https://github.com/leanprover/lean4… continuous integration (mathlib forks) #141989: Commit 5e8d714 pushed by leanprover-community-mathlib4-bot
October 19, 2024 23:44 10s lean-pr-testing-5778
lean-pr-testing-5778
October 19, 2024 23:44 10s
Update lean-toolchain for testing https://github.com/leanprover/lean4… continuous integration #133487: Commit 5e8d714 pushed by leanprover-community-mathlib4-bot
October 19, 2024 23:44 40m 2s lean-pr-testing-5778
lean-pr-testing-5778
October 19, 2024 23:44 40m 2s
feat: cardinality of Field.Emb for infinite extensions Label New Contributors #39060: Pull request #9480 synchronize by alreadydone
October 19, 2024 23:44 13s Field_Card_Emb
Field_Card_Emb
October 19, 2024 23:44 13s
feat: cardinality of Field.Emb for infinite extensions lint and suggest #61304: Pull request #9480 synchronize by alreadydone
October 19, 2024 23:44 1m 24s Field_Card_Emb
Field_Card_Emb
October 19, 2024 23:44 1m 24s
feat: cardinality of Field.Emb for infinite extensions Post PR summary comment #24915: Pull request #9480 synchronize by alreadydone
October 19, 2024 23:44 43s Field_Card_Emb
Field_Card_Emb
October 19, 2024 23:44 43s
fix moved import continuous integration (mathlib forks) #141988: Commit 2c17fb4 pushed by alreadydone
October 19, 2024 23:44 9s Field_Card_Emb
Field_Card_Emb
October 19, 2024 23:44 9s
fix moved import continuous integration #133486: Commit 2c17fb4 pushed by alreadydone
October 19, 2024 23:44 1m 21s Field_Card_Emb
Field_Card_Emb
October 19, 2024 23:44 1m 21s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #92016: completed by alreadydone
October 19, 2024 23:43 2s
October 19, 2024 23:43 2s
feat: cardinality of Field.Emb for infinite extensions lint and suggest #61303: Pull request #9480 synchronize by alreadydone
October 19, 2024 23:42 1m 27s Field_Card_Emb
Field_Card_Emb
October 19, 2024 23:42 1m 27s
feat: cardinality of Field.Emb for infinite extensions Label New Contributors #39059: Pull request #9480 synchronize by alreadydone
October 19, 2024 23:42 14s Field_Card_Emb
Field_Card_Emb
October 19, 2024 23:42 14s
feat: cardinality of Field.Emb for infinite extensions Post PR summary comment #24914: Pull request #9480 synchronize by alreadydone
October 19, 2024 23:42 48s Field_Card_Emb
Field_Card_Emb
October 19, 2024 23:42 48s
Mathlib.lean continuous integration #133485: Commit 6479159 pushed by alreadydone
October 19, 2024 23:42 1m 12s Field_Card_Emb
Field_Card_Emb
October 19, 2024 23:42 1m 12s
Mathlib.lean continuous integration (mathlib forks) #141987: Commit 6479159 pushed by alreadydone
October 19, 2024 23:42 12s Field_Card_Emb
Field_Card_Emb
October 19, 2024 23:42 12s
Merge conflicts Merge conflicts #62859: Scheduled
October 19, 2024 23:34 18s master
master
October 19, 2024 23:34 18s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #92015: completed by urkud
October 19, 2024 23:32 2s
October 19, 2024 23:32 2s
Dependent Issues Dependent Issues #63941: Scheduled
October 19, 2024 23:31 2m 52s master
master
October 19, 2024 23:31 2m 52s
refactor: make CanonicallyOrdered... mixin Add "ready-to-merge" and "delegated" label from comment #60647: Issue comment #17444 (comment) created by FR-vdash-bot
October 19, 2024 23:30 2s
October 19, 2024 23:30 2s
refactor: make CanonicallyOrdered... mixin bot fix style (comment) #7629: Issue comment #17444 (comment) created by FR-vdash-bot
October 19, 2024 23:30 2s
October 19, 2024 23:30 2s
refactor: make CanonicallyOrdered... mixin Label PR based on Comment #41337: Issue comment #17444 (comment) created by FR-vdash-bot
October 19, 2024 23:30 2s
October 19, 2024 23:30 2s