Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
534,940 workflow run results
534,940 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: positivity of star x * x continuous integration #98578: Commit 2f77917 pushed by eric-wieser
June 11, 2024 23:58 4m 21s eric-wieser/star-regular
eric-wieser/star-regular
June 11, 2024 23:58 4m 21s
feat: positivity of star x * x continuous integration (mathlib forks) #104439: Commit 2f77917 pushed by eric-wieser
June 11, 2024 23:58 13s eric-wieser/star-regular
eric-wieser/star-regular
June 11, 2024 23:58 13s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #56849: completed by mathlib-bors bot
June 11, 2024 23:57 2s
June 11, 2024 23:57 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #56848: completed by YaelDillies
June 11, 2024 23:57 2s
June 11, 2024 23:57 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #56847: completed by kim-em
June 11, 2024 23:55 3s
June 11, 2024 23:55 3s
[Merged by Bors] - chore(HashMap): deprecate unused API additions Post PR summary comment #866: Pull request #13746 opened by kim-em
June 11, 2024 23:55 34s HashMap_deprecations
HashMap_deprecations
June 11, 2024 23:55 34s
[Merged by Bors] - chore(HashMap): deprecate unused API additions move-decls (label) #3477: Pull request #13746 labeled by kim-em
June 11, 2024 23:55 2s HashMap_deprecations
HashMap_deprecations
June 11, 2024 23:55 2s
[Merged by Bors] - chore(HashMap): deprecate unused API additions Label New Contributors #14980: Pull request #13746 opened by kim-em
June 11, 2024 23:55 19s HashMap_deprecations
HashMap_deprecations
June 11, 2024 23:55 19s
[Merged by Bors] - chore(HashMap): deprecate unused API additions lint and suggest #37250: Pull request #13746 opened by kim-em
June 11, 2024 23:55 55s HashMap_deprecations
HashMap_deprecations
June 11, 2024 23:55 55s
chore(HashMap): deprecate unused API additions continuous integration (mathlib forks) #104438: Commit 9efe4e2 pushed by kim-em
June 11, 2024 23:54 15s HashMap_deprecations
HashMap_deprecations
June 11, 2024 23:54 15s
chore(HashMap): deprecate unused API additions continuous integration #98577: Commit 9efe4e2 pushed by kim-em
June 11, 2024 23:54 47m 27s HashMap_deprecations
HashMap_deprecations
June 11, 2024 23:54 47m 27s
[Merged by Bors] - chore(linarith): remove unused import move-decls (label) #3476: Pull request #13745 labeled by kim-em
June 11, 2024 23:50 2s linarith_import
linarith_import
June 11, 2024 23:50 2s
[Merged by Bors] - chore(linarith): remove unused import move-decls (label) #3475: Pull request #13745 labeled by kim-em
June 11, 2024 23:50 2s linarith_import
linarith_import
June 11, 2024 23:50 2s
[Merged by Bors] - chore(linarith): remove unused import Label New Contributors #14979: Pull request #13745 opened by kim-em
June 11, 2024 23:50 25s linarith_import
linarith_import
June 11, 2024 23:50 25s
[Merged by Bors] - chore(linarith): remove unused import Post PR summary comment #865: Pull request #13745 opened by kim-em
June 11, 2024 23:50 38s linarith_import
linarith_import
June 11, 2024 23:50 38s
[Merged by Bors] - chore(linarith): remove unused import lint and suggest #37249: Pull request #13745 opened by kim-em
June 11, 2024 23:50 53s linarith_import
linarith_import
June 11, 2024 23:50 53s
chore(linarith): remove unused import continuous integration (mathlib forks) #104437: Commit 4609771 pushed by kim-em
June 11, 2024 23:50 11s linarith_import
linarith_import
June 11, 2024 23:50 11s
chore(linarith): remove unused import continuous integration #98576: Commit 4609771 pushed by kim-em
June 11, 2024 23:50 45m 40s linarith_import
linarith_import
June 11, 2024 23:50 45m 40s
feat: positivity of star x * x continuous integration #98575: Commit 996d7a7 pushed by eric-wieser
June 11, 2024 23:50 11m 51s eric-wieser/posDef_add
eric-wieser/posDef_add
June 11, 2024 23:50 11m 51s
feat: positivity of star x * x continuous integration (mathlib forks) #104436: Commit 996d7a7 pushed by eric-wieser
June 11, 2024 23:50 14s eric-wieser/posDef_add
eric-wieser/posDef_add
June 11, 2024 23:50 14s
Merge conflicts Merge conflicts #51176: Scheduled
June 11, 2024 23:48 10m 35s master
master
June 11, 2024 23:48 10m 35s
refactor(Tactic/Linarith): introduce UsableInSimplexAlgorithm class… continuous integration (mathlib forks) #104435: Commit e16925c pushed by kim-em
June 11, 2024 23:48 9s linarith_import
linarith_import
June 11, 2024 23:48 9s
refactor(Tactic/Linarith): introduce UsableInSimplexAlgorithm class… continuous integration #98574: Commit e16925c pushed by kim-em
June 11, 2024 23:48 7m 0s linarith_import
linarith_import
June 11, 2024 23:48 7m 0s
Dependent Issues Dependent Issues #52040: Scheduled
June 11, 2024 23:46 3m 13s master
master
June 11, 2024 23:46 3m 13s
chore: fix junk value for sInf on WithTop (#13717) continuous integration (mathlib forks) #104434: Commit d19a0ce pushed by mathlib-bors bot
June 11, 2024 23:44 16s staging
staging
June 11, 2024 23:44 16s