Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
759,352 workflow run results
759,352 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label #793: created by joelriou
November 22, 2024 23:23 1m 0s
November 22, 2024 23:23 1m 0s
Maintainer merge Maintainer merge #6665: submitted by joelriou
November 22, 2024 23:23 1m 4s
November 22, 2024 23:23 1m 4s
bot fix style (review comment) bot fix style (review comment) #14444: created by joelriou
November 22, 2024 23:23 2s
November 22, 2024 23:23 2s
bot fix style (review) bot fix style (review) #10660: submitted by joelriou
November 22, 2024 23:23 2s
November 22, 2024 23:23 2s
Maintainer merge Maintainer merge #6664: created by joelriou
November 22, 2024 23:23 9s
November 22, 2024 23:23 9s
Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label #794: submitted by joelriou
November 22, 2024 23:23 11s
November 22, 2024 23:23 11s
Dependent Issues Dependent Issues #67008: Scheduled
November 22, 2024 23:21 4m 6s master
master
November 22, 2024 23:21 4m 6s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #103557: completed by PieterCuijpers
November 22, 2024 23:20 3s
November 22, 2024 23:20 3s
Merge remote-tracking branch 'origin' into PieterCuijpers_AddHom_Nota… continuous integration #144985: Commit 9c655c0 pushed by PieterCuijpers
November 22, 2024 23:19 39m 57s PieterCuijpers_AddHom_Notation
PieterCuijpers_AddHom_Notation
November 22, 2024 23:19 39m 57s
Merge remote-tracking branch 'origin' into PieterCuijpers_AddHom_Nota… Autolabel PRs #2823: Commit 9c655c0 pushed by PieterCuijpers
November 22, 2024 23:19 49s PieterCuijpers_AddHom_Notation
PieterCuijpers_AddHom_Notation
November 22, 2024 23:19 49s
Merge remote-tracking branch 'origin' into PieterCuijpers_AddHom_Nota… continuous integration (mathlib forks) #154477: Commit 9c655c0 pushed by PieterCuijpers
November 22, 2024 23:19 12s PieterCuijpers_AddHom_Notation
PieterCuijpers_AddHom_Notation
November 22, 2024 23:19 12s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #103556: completed by Ruben-VandeVelde
November 22, 2024 23:19 2s
November 22, 2024 23:19 2s
[Merged by Bors] - feat: introduce the missing notation for AddHom Post PR summary comment #32911: Pull request #19387 synchronize by PieterCuijpers
November 22, 2024 23:19 50s PieterCuijpers_AddHom_Notation
PieterCuijpers_AddHom_Notation
November 22, 2024 23:19 50s
[Merged by Bors] - feat: introduce the missing notation for AddHom Label New Contributors #47056: Pull request #19387 synchronize by PieterCuijpers
November 22, 2024 23:19 12s PieterCuijpers_AddHom_Notation
PieterCuijpers_AddHom_Notation
November 22, 2024 23:19 12s
[Merged by Bors] - feat: introduce the missing notation for AddHom lint and suggest #69300: Pull request #19387 synchronize by PieterCuijpers
November 22, 2024 23:19 2m 34s PieterCuijpers_AddHom_Notation
PieterCuijpers_AddHom_Notation
November 22, 2024 23:19 2m 34s
bot fix style (review comment) bot fix style (review comment) #14443: edited by joelriou
November 22, 2024 23:18 2s
November 22, 2024 23:18 2s
Maintainer merge Maintainer merge #6663: edited by joelriou
November 22, 2024 23:18 11s
November 22, 2024 23:18 11s
[Merged by Bors] - feat: introduce the missing notation for AddHom lint and suggest #69299: Pull request #19387 opened by PieterCuijpers
November 22, 2024 23:18 1m 11s PieterCuijpers_AddHom_Notation
PieterCuijpers_AddHom_Notation
November 22, 2024 23:18 1m 11s
[Merged by Bors] - feat: introduce the missing notation for AddHom Label New Contributors #47055: Pull request #19387 opened by PieterCuijpers
November 22, 2024 23:18 14s PieterCuijpers_AddHom_Notation
PieterCuijpers_AddHom_Notation
November 22, 2024 23:18 14s
[Merged by Bors] - feat: introduce the missing notation for AddHom Autolabel PRs #2822: Pull request #19387 opened by PieterCuijpers
November 22, 2024 23:18 1m 41s PieterCuijpers_AddHom_Notation
PieterCuijpers_AddHom_Notation
November 22, 2024 23:18 1m 41s
[Merged by Bors] - feat: introduce the missing notation for AddHom Post PR summary comment #32910: Pull request #19387 opened by PieterCuijpers
November 22, 2024 23:18 1m 50s PieterCuijpers_AddHom_Notation
PieterCuijpers_AddHom_Notation
November 22, 2024 23:18 1m 50s
Introducing missing notation for AddHom continuous integration #144984: Commit 81ef429 pushed by PieterCuijpers
November 22, 2024 23:16 4m 0s PieterCuijpers_AddHom_Notation
PieterCuijpers_AddHom_Notation
November 22, 2024 23:16 4m 0s
Introducing missing notation for AddHom continuous integration (mathlib forks) #154476: Commit 81ef429 pushed by PieterCuijpers
November 22, 2024 23:16 14s PieterCuijpers_AddHom_Notation
PieterCuijpers_AddHom_Notation
November 22, 2024 23:16 14s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #103555: completed by mathlib4-update-dependencies-bot
November 22, 2024 23:15 1s
November 22, 2024 23:15 1s
Monitor Dependency Update Failures Monitor Dependency Update Failures #5235: completed by mathlib4-update-dependencies-bot
November 22, 2024 23:15 2s
November 22, 2024 23:15 2s