Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,092,579 workflow runs
1,092,579 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: register tauto for hint lint and suggest #84248: Pull request #22063 synchronize by euprunin
February 19, 2025 06:42 2m 19s euprunin_hint_tauto
euprunin_hint_tauto
February 19, 2025 06:42 2m 19s
feat: register tauto for hint Post PR summary comment #47860: Pull request #22063 synchronize by euprunin
February 19, 2025 06:42 53s euprunin_hint_tauto
euprunin_hint_tauto
February 19, 2025 06:42 53s
feat: register tauto for hint continuous integration #167568: Commit 597f684 pushed by euprunin
February 19, 2025 06:42 44m 3s euprunin_hint_tauto
euprunin_hint_tauto
February 19, 2025 06:42 44m 3s
feat: register tauto for hint continuous integration (mathlib forks) #178861: Commit 597f684 pushed by euprunin
February 19, 2025 06:42 3s euprunin_hint_tauto
euprunin_hint_tauto
February 19, 2025 06:42 3s
Merge conflicts Merge conflicts #73631: Scheduled
February 19, 2025 06:39 10m 21s master
master
February 19, 2025 06:39 10m 21s
feat: register tauto for hint lint and suggest #84247: Pull request #22063 synchronize by euprunin
February 19, 2025 06:37 1m 23s euprunin_hint_tauto
euprunin_hint_tauto
February 19, 2025 06:37 1m 23s
feat: register tauto for hint Label New Contributors #62004: Pull request #22063 synchronize by euprunin
February 19, 2025 06:37 13s euprunin_hint_tauto
euprunin_hint_tauto
February 19, 2025 06:37 13s
feat: register tauto for hint Post PR summary comment #47859: Pull request #22063 synchronize by euprunin
February 19, 2025 06:37 59s euprunin_hint_tauto
euprunin_hint_tauto
February 19, 2025 06:37 59s
feat: register tauto for hint continuous integration #167567: Commit 0acf242 pushed by euprunin
February 19, 2025 06:37 5m 28s euprunin_hint_tauto
euprunin_hint_tauto
February 19, 2025 06:37 5m 28s
feat: register tauto for hint continuous integration (mathlib forks) #178860: Commit 0acf242 pushed by euprunin
February 19, 2025 06:37 3s euprunin_hint_tauto
euprunin_hint_tauto
February 19, 2025 06:37 3s
Merge master into nightly-testing continuous integration (mathlib forks) #178859: Commit c60c347 pushed by leanprover-community-mathlib4-bot
February 19, 2025 06:36 3s nightly-testing
nightly-testing
February 19, 2025 06:36 3s
Merge master into nightly-testing continuous integration #167566: Commit c60c347 pushed by leanprover-community-mathlib4-bot
February 19, 2025 06:36 47m 56s nightly-testing
nightly-testing
February 19, 2025 06:36 47m 56s
Dependent Issues Dependent Issues #74956: Scheduled
February 19, 2025 06:36 2m 59s master
master
February 19, 2025 06:36 2m 59s
Merge master to nightly Merge master to nightly #4552: Scheduled
February 19, 2025 06:35 57s master
master
February 19, 2025 06:35 57s
perf: make Decidable Injective approximately twice as fast .github/workflows/zulip_emoji_awaiting_author.yaml #8413: Pull request #21975 unlabeled by leanprover-community-mathlib4-bot
February 19, 2025 06:29 1s lambda-fairy/fast-injective
lambda-fairy/fast-injective
February 19, 2025 06:29 1s
perf: make Decidable Injective approximately twice as fast .github/workflows/zulip_emoji_awaiting_author.yaml #8412: Pull request #21975 labeled by leanprover-community-mathlib4-bot
February 19, 2025 06:29 2s lambda-fairy/fast-injective
lambda-fairy/fast-injective
February 19, 2025 06:29 2s
perf: make Decidable Injective approximately twice as fast Bench output summary #14778: Issue comment #21975 (comment) created by urkud
February 19, 2025 06:29 2s
February 19, 2025 06:29 2s
perf: make Decidable Injective approximately twice as fast Label PR based on Comment #56615: Issue comment #21975 (comment) created by urkud
February 19, 2025 06:29 2s
February 19, 2025 06:29 2s
perf: make Decidable Injective approximately twice as fast Maintainer merge #41173: Issue comment #21975 (comment) created by urkud
February 19, 2025 06:29 13s
February 19, 2025 06:29 13s
perf: make Decidable Injective approximately twice as fast Add "ready-to-merge" and "delegated" label #33381: Issue comment #21975 (comment) created by urkud
February 19, 2025 06:29 19s
February 19, 2025 06:29 19s
perf: make Decidable Injective approximately twice as fast bot fix style #17613: Issue comment #21975 (comment) created by urkud
February 19, 2025 06:29 10s
February 19, 2025 06:29 10s
feat(CategoryTheory/Abelian): mono are stable under transfinite compo… (Unnamed workflow) #2240: Commit 2bcc5cd pushed by mathlib-bors bot
February 19, 2025 06:28 Startup failure staging-squash-merge.tmp
staging-squash-merge.tmp
February 19, 2025 06:28 Startup failure
feat(Data/Set): add result that shows a set is even iff it splits int… continuous integration (staging) #13954: Commit 5f10430 pushed by mathlib-bors bot
February 19, 2025 06:28 1h 2m 21s staging
staging
February 19, 2025 06:28 1h 2m 21s
feat(Data/Set): add result that shows a set is even iff it splits int… continuous integration (mathlib forks) #178858: Commit 5f10430 pushed by mathlib-bors bot
February 19, 2025 06:28 3s staging
staging
February 19, 2025 06:28 3s
[Merged by Bors] - feat(Data/Set): add result that shows a set is even iff it splits into two sets of equal cardinality Maintainer merge #41172: Issue comment #18878 (comment) created by pimotte
February 19, 2025 06:27 11s
February 19, 2025 06:27 11s