Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
885,213 workflow run results
885,213 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refactor: make CanonicallyOrdered... mixin Maintainer merge (comment) #65991: Issue comment #17444 (comment) created by FR-vdash-bot
October 19, 2024 23:30 2s
October 19, 2024 23:30 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #92014: completed by leanprover-community-mathlib4-bot
October 19, 2024 23:24 1s
October 19, 2024 23:24 1s
Merge conflicts Merge conflicts #62858: Scheduled
October 19, 2024 23:22 16s master
master
October 19, 2024 23:22 16s
Dependent Issues Dependent Issues #63940: Scheduled
October 19, 2024 23:20 11s master
master
October 19, 2024 23:20 11s
feat: inclusion-exclusion principle Label New Contributors #39058: Pull request #17957 opened by YaelDillies
October 19, 2024 23:15 22s inclusion_exclusion
inclusion_exclusion
October 19, 2024 23:15 22s
feat: inclusion-exclusion principle Post PR summary comment #24913: Pull request #17957 opened by YaelDillies
October 19, 2024 23:15 44s inclusion_exclusion
inclusion_exclusion
October 19, 2024 23:15 44s
feat: inclusion-exclusion principle lint and suggest #61302: Pull request #17957 opened by YaelDillies
October 19, 2024 23:15 1m 8s inclusion_exclusion
inclusion_exclusion
October 19, 2024 23:15 1m 8s
feat: inclusion-exclusion principle Autolabel PRs #1213: Pull request #17957 opened by YaelDillies
October 19, 2024 23:15 56s inclusion_exclusion
inclusion_exclusion
October 19, 2024 23:15 56s
feat: inclusion-exclusion principle continuous integration #133484: Commit 4f81371 pushed by YaelDillies
October 19, 2024 23:15 44m 12s inclusion_exclusion
inclusion_exclusion
October 19, 2024 23:15 44m 12s
feat: inclusion-exclusion principle continuous integration (mathlib forks) #141986: Commit 4f81371 pushed by YaelDillies
October 19, 2024 23:15 10s inclusion_exclusion
inclusion_exclusion
October 19, 2024 23:15 10s
[Merged by Bors] - chore: avoid some (0 < ((↑) : ℝ≥0 → ℝ) x) = (0 < x) defeq abuses Maintainer merge (comment) #65990: Issue comment #17946 (comment) created by FR-vdash-bot
October 19, 2024 23:14 2s
October 19, 2024 23:14 2s
[Merged by Bors] - chore: avoid some (0 < ((↑) : ℝ≥0 → ℝ) x) = (0 < x) defeq abuses Label PR based on Comment #41336: Issue comment #17946 (comment) created by FR-vdash-bot
October 19, 2024 23:14 2s
October 19, 2024 23:14 2s
[Merged by Bors] - chore: avoid some (0 < ((↑) : ℝ≥0 → ℝ) x) = (0 < x) defeq abuses bot fix style (comment) #7628: Issue comment #17946 (comment) created by FR-vdash-bot
October 19, 2024 23:14 2s
October 19, 2024 23:14 2s
[Merged by Bors] - chore: avoid some (0 < ((↑) : ℝ≥0 → ℝ) x) = (0 < x) defeq abuses Add "ready-to-merge" and "delegated" label from comment #60646: Issue comment #17946 (comment) created by FR-vdash-bot
October 19, 2024 23:14 2s
October 19, 2024 23:14 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #92013: completed by alreadydone
October 19, 2024 23:13 2s
October 19, 2024 23:13 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #92012: completed by emilyriehl
October 19, 2024 23:13 2s
October 19, 2024 23:13 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #92011: completed by mathlib4-update-dependencies-bot
October 19, 2024 23:12 2s
October 19, 2024 23:12 2s
Monitor Dependency Update Failures Monitor Dependency Update Failures #4801: completed by mathlib4-update-dependencies-bot
October 19, 2024 23:12 1s
October 19, 2024 23:12 1s
Merge branch 'master' into Field_Card_Emb continuous integration (mathlib forks) #141985: Commit f560ccc pushed by alreadydone
October 19, 2024 23:07 12s Field_Card_Emb
Field_Card_Emb
October 19, 2024 23:07 12s
Merge branch 'master' into Field_Card_Emb Autolabel PRs #1212: Commit f560ccc pushed by alreadydone
October 19, 2024 23:06 56s Field_Card_Emb
Field_Card_Emb
October 19, 2024 23:06 56s
Merge branch 'master' into Field_Card_Emb continuous integration #133483: Commit f560ccc pushed by alreadydone
October 19, 2024 23:06 6m 25s Field_Card_Emb
Field_Card_Emb
October 19, 2024 23:06 6m 25s
feat: cardinality of Field.Emb for infinite extensions Post PR summary comment #24912: Pull request #9480 synchronize by alreadydone
October 19, 2024 23:06 46s Field_Card_Emb
Field_Card_Emb
October 19, 2024 23:06 46s
feat: cardinality of Field.Emb for infinite extensions lint and suggest #61301: Pull request #9480 synchronize by alreadydone
October 19, 2024 23:06 1m 23s Field_Card_Emb
Field_Card_Emb
October 19, 2024 23:06 1m 23s
feat: cardinality of Field.Emb for infinite extensions Label New Contributors #39057: Pull request #9480 synchronize by alreadydone
October 19, 2024 23:06 10s Field_Card_Emb
Field_Card_Emb
October 19, 2024 23:06 10s
chore(FieldTheory/Galois): Move infinite Galois (#17945) continuous integration (mathlib forks) #141984: Commit e0dccaa pushed by mathlib4-update-dependencies-bot
October 19, 2024 23:05 14s update-dependencies-bot-use-only
update-dependencies-bot-use-only
October 19, 2024 23:05 14s