Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
733,508 workflow run results
733,508 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Merged by Bors] - chore: re-add @[simp] attributes lost in the port Autolabel PRs #1353: Pull request #18076 opened by Vierkantor
October 22, 2024 15:05 57s restore-simp-from-port-2
restore-simp-from-port-2
October 22, 2024 15:05 57s
[Merged by Bors] - chore: re-add @[simp] attributes lost in the port Label New Contributors #39681: Pull request #18076 opened by Vierkantor
October 22, 2024 15:05 12s restore-simp-from-port-2
restore-simp-from-port-2
October 22, 2024 15:05 12s
[Merged by Bors] - refactor(GroupAction/Blocks): additivise, fix names, golf API Post PR summary comment #25535: Pull request #17578 synchronize by YaelDillies
October 22, 2024 15:05 46s pairwise_disjoint_smul
pairwise_disjoint_smul
October 22, 2024 15:05 46s
[Merged by Bors] - chore: use new ℵ_ and ℶ_ notation bot fix style (comment) #8036: Issue comment #18066 (comment) created by riccardobrasca
October 22, 2024 15:04 3s
October 22, 2024 15:04 3s
[Merged by Bors] - chore: use new ℵ_ and ℶ_ notation Label PR based on Comment #41704: Issue comment #18066 (comment) created by riccardobrasca
October 22, 2024 15:04 3s
October 22, 2024 15:04 3s
[Merged by Bors] - chore: use new ℵ_ and ℶ_ notation Maintainer merge (comment) #66398: Issue comment #18066 (comment) created by riccardobrasca
October 22, 2024 15:04 3s
October 22, 2024 15:04 3s
[Merged by Bors] - chore: use new ℵ_ and ℶ_ notation Add "ready-to-merge" and "delegated" label from comment #61014: Issue comment #18066 (comment) created by riccardobrasca
October 22, 2024 15:04 16s
October 22, 2024 15:04 16s
chore(Algebra): re-add @[simp] attributes lost in the port continuous integration (mathlib forks) #142910: Commit 6196fdf pushed by Vierkantor
October 22, 2024 15:04 12s restore-simp-from-port-2
restore-simp-from-port-2
October 22, 2024 15:04 12s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #92861: completed by ChrisHughes24
October 22, 2024 14:47 2s
October 22, 2024 14:47 2s
some fixes continuous integration (mathlib forks) #142899: Commit e13a249 pushed by ChrisHughes24
October 22, 2024 14:46 11s FreiheitsatzChris
FreiheitsatzChris
October 22, 2024 14:46 11s
some fixes continuous integration #134332: Commit e13a249 pushed by ChrisHughes24
October 22, 2024 14:46 1m 9s FreiheitsatzChris
FreiheitsatzChris
October 22, 2024 14:46 1m 9s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #92860: completed by vihdzp
October 22, 2024 14:44 2s
October 22, 2024 14:44 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #92859: completed by javra
October 22, 2024 14:42 2s
October 22, 2024 14:42 2s
Initial commit continuous integration (mathlib forks) #142898: Commit f4f0aad pushed by robin-carlier
October 22, 2024 14:40 12s RC_PathInductions
RC_PathInductions
October 22, 2024 14:40 12s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #92858: completed by ChrisHughes24
October 22, 2024 14:40 2s
October 22, 2024 14:40 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #92857: completed by YaelDillies
October 22, 2024 14:38 4s
October 22, 2024 14:38 4s
Maintainer merge (review) Maintainer merge (review) #51872: submitted by jcommelin
October 22, 2024 14:37 2s
October 22, 2024 14:37 2s
bot fix style (review) bot fix style (review) #6277: submitted by jcommelin
October 22, 2024 14:37 2s
October 22, 2024 14:37 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #46633: submitted by jcommelin
October 22, 2024 14:37 14s
October 22, 2024 14:37 14s
Merge conflicts Merge conflicts #63086: Scheduled
October 22, 2024 14:36 10m 25s master
master
October 22, 2024 14:36 10m 25s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #92856: completed by Ruben-VandeVelde
October 22, 2024 14:36 2s
October 22, 2024 14:36 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #92855: completed by Vierkantor
October 22, 2024 14:35 2s
October 22, 2024 14:35 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #92854: completed by riccardobrasca
October 22, 2024 14:35 3s
October 22, 2024 14:35 3s
[Merged by Bors] - feat: miscellaneous results about finrank Label New Contributors #39670: Pull request #18064 synchronize by riccardobrasca
October 22, 2024 14:35 14s RB/finrank2
RB/finrank2
October 22, 2024 14:35 14s
[Merged by Bors] - feat: miscellaneous results about finrank Post PR summary comment #25525: Pull request #18064 synchronize by riccardobrasca
October 22, 2024 14:35 47s RB/finrank2
RB/finrank2
October 22, 2024 14:35 47s