Skip to content

Actions: leanprover-community/mathlib4

Actions

continuous integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
107,082 workflow runs
107,082 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

remove redundant lemma continuous integration #154193: Commit 65de0a4 pushed by sgouezel
January 6, 2025 15:22 In progress SG_carleson3
SG_carleson3
January 6, 2025 15:22 In progress
feat(1000): fill in more entries (#20470) continuous integration #154192: Commit 9ab795a pushed by fpvandoorn
January 6, 2025 15:20 In progress master
master
January 6, 2025 15:20 In progress
address comments continuous integration #154191: Commit 8b7fa3b pushed by erdOne
January 6, 2025 15:19 In progress erd1/equivH1Cotangent
erd1/equivH1Cotangent
January 6, 2025 15:19 In progress
fix part 5 continuous integration #154190: Commit ab73399 pushed by edegeltje
January 6, 2025 15:12 10m 40s blizzard_inc/fieldify_algebraMap
blizzard_inc/fieldify_algebraMap
January 6, 2025 15:12 10m 40s
fix continuous integration #154189: Commit 8946bf5 pushed by fpvandoorn
January 6, 2025 15:12 7m 44s simps-already-exists
simps-already-exists
January 6, 2025 15:12 7m 44s
feat(Combinatorics/SimpleGraph/Walk): add penultimate and snd (#1… continuous integration #154188: Commit 15b2729 pushed by mathlib4-update-dependencies-bot
January 6, 2025 15:06 8m 22s update-dependencies-bot-use-only
update-dependencies-bot-use-only
January 6, 2025 15:06 8m 22s
linkfix continuous integration #154187: Commit 0b0ff01 pushed by fpvandoorn
January 6, 2025 15:06 8m 29s 100-linkfix
100-linkfix
January 6, 2025 15:06 8m 29s
feat(Combinatorics/SimpleGraph/Walk): add penultimate and snd (#1… continuous integration #154186: Commit 15b2729 pushed by mathlib-bors bot
January 6, 2025 14:57 8m 44s master
master
January 6, 2025 14:57 8m 44s
feat(ContinuousMultilinearMap): add lemmas about .prod (#20462) continuous integration #154185: Commit f0c7c5c pushed by mathlib-bors bot
January 6, 2025 14:44 8m 30s master
master
January 6, 2025 14:44 8m 30s
Merge branch 'erd1/jacobiCriterion' of https://github.com/leanprover-… continuous integration #154184: Commit 34807e2 pushed by erdOne
January 6, 2025 14:44 9m 2s erd1/jacobiCriterion
erd1/jacobiCriterion
January 6, 2025 14:44 9m 2s
move result continuous integration #154183: Commit 9f5ff59 pushed by erdOne
January 6, 2025 14:42 11m 36s erd1/equivH1Cotangent
erd1/equivH1Cotangent
January 6, 2025 14:42 11m 36s
feat(RingTheory): classification of etale algebras over fields (#20324) continuous integration #154182: Commit d5cc7c8 pushed by mathlib-bors bot
January 6, 2025 14:36 8m 42s master
master
January 6, 2025 14:36 8m 42s
Update Mathlib/RingTheory/Smooth/Local.lean continuous integration #154181: Commit 2bd5918 pushed by erdOne
January 6, 2025 14:34 8m 58s erd1/jacobiCriterion
erd1/jacobiCriterion
January 6, 2025 14:34 8m 58s
wip continuous integration #154180: Commit 5695425 pushed by jcommelin
January 6, 2025 14:28 13m 53s jmc-test-42
jmc-test-42
January 6, 2025 14:28 13m 53s
wip continuous integration #154179: Commit d88abd4 pushed by jcommelin
January 6, 2025 14:26 6m 50s jmc-test-42
jmc-test-42
January 6, 2025 14:26 6m 50s
chore: don't import algebra in Data.Multiset.Basic continuous integration #154178: Commit 6e707f4 pushed by YaelDillies
January 6, 2025 14:25 39m 26s multiset_no_algebra
multiset_no_algebra
January 6, 2025 14:25 39m 26s
add doc, better formatting continuous integration #154177: Commit dde6eb3 pushed by AntoineChambert-Loir
January 6, 2025 14:20 8m 36s ACL/Primitive-1
ACL/Primitive-1
January 6, 2025 14:20 8m 36s
Apply suggestions from code review continuous integration #154176: Commit 4574791 pushed by erdOne
January 6, 2025 14:19 11m 40s erd1/equivH1Cotangent
erd1/equivH1Cotangent
January 6, 2025 14:19 11m 40s
fix 4 continuous integration #154175: Commit 44d0257 pushed by edegeltje
January 6, 2025 14:18 7m 33s blizzard_inc/fieldify_algebraMap
blizzard_inc/fieldify_algebraMap
January 6, 2025 14:18 7m 33s
Merge branch 'master' into YK-cmm-prod continuous integration #154174: Commit f48f3ad pushed by urkud
January 6, 2025 14:17 18m 16s YK-cmm-prod
YK-cmm-prod
January 6, 2025 14:17 18m 16s
Add smul_prod_smul continuous integration #154173: Commit 0acd26b pushed by urkud
January 6, 2025 14:16 17m 55s YK-cmm-prod
YK-cmm-prod
January 6, 2025 14:16 17m 55s
fix: Allow multiple builds on staging branch (#20515) continuous integration #154172: Commit fceef13 pushed by mathlib4-update-dependencies-bot
January 6, 2025 14:06 8m 21s update-dependencies-bot-use-only
update-dependencies-bot-use-only
January 6, 2025 14:06 8m 21s
Add instances continuous integration #154171: Commit 4365b38 pushed by erdOne
January 6, 2025 14:05 8m 45s erd1/etaleField2
erd1/etaleField2
January 6, 2025 14:05 8m 45s
feat(FDeriv/Equiv): generalize HasFDerivAt.of_local_left_inverse continuous integration #154170: Commit b23f5ef pushed by urkud
January 6, 2025 14:04 15m 18s YK-fdw-symm
YK-fdw-symm
January 6, 2025 14:04 15m 18s
Merge branch 'FR_ordered_mixin_lemmas' into FR_ordered_mixin_deprecate continuous integration #154169: Commit de140ce pushed by FR-vdash-bot
January 6, 2025 13:59 2m 6s FR_ordered_mixin_deprecate
FR_ordered_mixin_deprecate
January 6, 2025 13:59 2m 6s