Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
799,714 workflow run results
799,714 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Maintainer merge (review comment) Maintainer merge (review comment) #60860: created by urkud
October 2, 2024 21:21 2s
October 2, 2024 21:21 2s
Maintainer merge (review) Maintainer merge (review) #49493: submitted by urkud
October 2, 2024 21:21 2s
October 2, 2024 21:21 2s
bot fix style (review comment) bot fix style (review comment) #5578: created by urkud
October 2, 2024 21:21 2s
October 2, 2024 21:21 2s
bot fix style (review) bot fix style (review) #3898: submitted by urkud
October 2, 2024 21:21 2s
October 2, 2024 21:21 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #44254: submitted by urkud
October 2, 2024 21:21 2s
October 2, 2024 21:21 2s
Dependent Issues Dependent Issues #62400: Scheduled
October 2, 2024 21:21 14s master
master
October 2, 2024 21:21 14s
[Merged by Bors] - feat: ENNReal-valued conjugate exponents Label New Contributors #35669: Pull request #17353 synchronize by YaelDillies
October 2, 2024 21:18 24s ennreal_conj_exp
ennreal_conj_exp
October 2, 2024 21:18 24s
[Merged by Bors] - feat: ENNReal-valued conjugate exponents Post PR summary comment #21524: Pull request #17353 synchronize by YaelDillies
October 2, 2024 21:18 42s ennreal_conj_exp
ennreal_conj_exp
October 2, 2024 21:18 42s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87124: completed by joelriou
October 2, 2024 21:17 3s
October 2, 2024 21:17 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87123: completed by YaelDillies
October 2, 2024 21:16 2s
October 2, 2024 21:16 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87121: completed by YaelDillies
October 2, 2024 21:14 2s
October 2, 2024 21:14 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87120: completed by mathlib-bors bot
October 2, 2024 21:14 3s
October 2, 2024 21:14 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87119: completed by YaelDillies
October 2, 2024 21:14 3s
October 2, 2024 21:14 3s
wip continuous integration #128622: Commit 8c2d0ef pushed by hrmacbeth
October 2, 2024 21:13 10m 45s HM-module-golfs
HM-module-golfs
October 2, 2024 21:13 10m 45s
[Merged by Bors] - chore: fix spelling mistakes Label New Contributors #35668: Pull request #17364 opened by euprunin
October 2, 2024 21:11 17s october-typos
october-typos
October 2, 2024 21:11 17s
[Merged by Bors] - chore: fix spelling mistakes lint and suggest #57912: Pull request #17364 opened by euprunin
October 2, 2024 21:11 1m 15s october-typos
october-typos
October 2, 2024 21:11 1m 15s
[Merged by Bors] - feat(Data/ENNReal/Real): add lemmas about iInf, iSup Label New Contributors #35667: Pull request #16770 synchronize by YaelDillies
October 2, 2024 21:09 25s mariainesdff/ennreal_real
mariainesdff/ennreal_real
October 2, 2024 21:09 25s
[Merged by Bors] - feat(Data/ENNReal/Real): add lemmas about iInf, iSup Post PR summary comment #21522: Pull request #16770 synchronize by YaelDillies
October 2, 2024 21:09 47s mariainesdff/ennreal_real
mariainesdff/ennreal_real
October 2, 2024 21:09 47s
progress on golf continuous integration #128621: Commit 8b1f0c1 pushed by YaelDillies
October 2, 2024 21:09 6m 56s mariainesdff/ennreal_real
mariainesdff/ennreal_real
October 2, 2024 21:09 6m 56s
progress on golf continuous integration (mathlib forks) #136734: Commit 8b1f0c1 pushed by YaelDillies
October 2, 2024 21:09 14s mariainesdff/ennreal_real
mariainesdff/ennreal_real
October 2, 2024 21:09 14s
chore: fix spelling mistakes continuous integration (mathlib forks) #136733: Commit 30f3993 pushed by euprunin
October 2, 2024 21:08 11s october-typos
october-typos
October 2, 2024 21:08 11s
chore: fix spelling mistakes continuous integration #128620: Commit 30f3993 pushed by euprunin
October 2, 2024 21:08 21m 45s october-typos
october-typos
October 2, 2024 21:08 21m 45s
Maintainer merge (review comment) Maintainer merge (review comment) #60859: created by eric-wieser
October 2, 2024 21:07 2s
October 2, 2024 21:07 2s
bot fix style (review comment) bot fix style (review comment) #5577: created by eric-wieser
October 2, 2024 21:07 2s
October 2, 2024 21:07 2s
Maintainer merge (review) Maintainer merge (review) #49492: submitted by eric-wieser
October 2, 2024 21:07 2s
October 2, 2024 21:07 2s