Skip to content

Actions: leanprover-community/mathlib4

Actions

continuous integration

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix lemma naming per review continuous integration #158463: Commit fc31ec6 pushed by jsm28
January 22, 2025 20:43 6m 20s jsm28/imo2024q3
jsm28/imo2024q3
January 22, 2025 20:43 6m 20s
feat(CI): manage merge-conflict label on push (#20961) continuous integration #158462: Commit 568cf04 pushed by mathlib-bors bot
January 22, 2025 20:36 8m 25s master
master
January 22, 2025 20:36 8m 25s
Add doc string from review continuous integration #158461: Commit 2c0035d pushed by jsm28
January 22, 2025 20:35 8m 32s jsm28/imo2024q3
jsm28/imo2024q3
January 22, 2025 20:35 8m 32s
Merge branch 'eugster/conical_limit_8' into HEAD continuous integration #158460: Commit a9192ac pushed by joneugster
January 22, 2025 20:34 8m 4s eugster/conical_limit_complete
eugster/conical_limit_complete
January 22, 2025 20:34 8m 4s
Update Mathlib/Algebra/FreeMonoid/Count.lean continuous integration #158459: Commit 36eb824 pushed by edegeltje
January 22, 2025 20:31 8m 6s blizzard_inc/freeMonoid_count_defeq
blizzard_inc/freeMonoid_count_defeq
January 22, 2025 20:31 8m 6s
feat: more lemmas for enorm continuous integration #158458: Commit b21a7b5 pushed by YaelDillies
January 22, 2025 20:30 1m 33s enorm_lemmas
enorm_lemmas
January 22, 2025 20:30 1m 33s
add HasConicalPullbacks continuous integration #158457: Commit 76ac10a pushed by joneugster
January 22, 2025 20:20 8m 36s eugster/conical_limit_8
eugster/conical_limit_8
January 22, 2025 20:20 8m 36s
Balanced.mulActionHom_preimage continuous integration #158456: Commit eb50959 pushed by mans0954
January 22, 2025 20:17 9m 24s mans0954/bipolar-theorem
mans0954/bipolar-theorem
January 22, 2025 20:17 9m 24s
feat(Order/Bounds/Lattice): bounds over collections of sets (#19150) continuous integration #158455: Commit be72b7b pushed by mathlib-bors bot
January 22, 2025 20:14 9m 15s master
master
January 22, 2025 20:14 9m 15s
add HasConicalTerminal continuous integration #158454: Commit c17c5e9 pushed by joneugster
January 22, 2025 20:13 8m 38s eugster/conical_limit_7
eugster/conical_limit_7
January 22, 2025 20:13 8m 38s
fix import continuous integration #158453: Commit 7057975 pushed by joneugster
January 22, 2025 20:11 10m 29s eugster/conical_limit_5
eugster/conical_limit_5
January 22, 2025 20:11 10m 29s
chore(Order/WellFoundedSet): flip isWF_iff_isPWO (#20937) continuous integration #158452: Commit 2cb1216 pushed by mathlib4-update-dependencies-bot
January 22, 2025 20:06 10m 36s update-dependencies-bot-use-only
update-dependencies-bot-use-only
January 22, 2025 20:06 10m 36s
Merge branch 'test/add_remove_merge_conflict_label_in_ci' into adoman… continuous integration #158451: Commit f51e797 pushed by adomani
January 22, 2025 20:05 10m 9s adomani/fix_bors_zulip_action
adomani/fix_bors_zulip_action
January 22, 2025 20:05 10m 9s
add HasConicalProducts continuous integration #158450: Commit f10631f pushed by joneugster
January 22, 2025 20:04 11m 51s eugster/conical_limit_6
eugster/conical_limit_6
January 22, 2025 20:04 11m 51s
Update docs/references.bib continuous integration #158449: Commit 42dd0ba pushed by Whysoserioushah
January 22, 2025 20:03 17m 36s azumaya
azumaya
January 22, 2025 20:03 17m 36s
golf continuous integration #158448: Commit 428bdb2 pushed by apnelson1
January 22, 2025 20:03 27m 14s vecMul_sum
vecMul_sum
January 22, 2025 20:03 27m 14s
add docstring continuous integration #158447: Commit 45dc1d1 pushed by AntoineChambert-Loir
January 22, 2025 20:02 10m 24s ACL/TopNilpotent-2
ACL/TopNilpotent-2
January 22, 2025 20:02 10m 24s
golf continuous integration #158446: Commit 36fff08 pushed by apnelson1
January 22, 2025 20:02 1m 14s vecMul_sum
vecMul_sum
January 22, 2025 20:02 1m 14s
update Mathlib.lean continuous integration #158445: Commit 5ca5b7c pushed by joneugster
January 22, 2025 20:02 10m 6s eugster/conical_limit_4
eugster/conical_limit_4
January 22, 2025 20:02 10m 6s
noncommutative continuous integration #158444: Commit 65e8fba pushed by apnelson1
January 22, 2025 20:01 58s vecMul_sum
vecMul_sum
January 22, 2025 20:01 58s
Update Mathlib/Algebra/Azumaya/Defs.lean continuous integration #158443: Commit de74508 pushed by Whysoserioushah
January 22, 2025 20:00 7m 45s azumaya
azumaya
January 22, 2025 20:00 7m 45s
Merge remote-tracking branch 'origin/master' into test/add_remove_mer… continuous integration #158442: Commit b60df39 pushed by adomani
January 22, 2025 19:59 8m 39s test/add_remove_merge_conflict_label_in_ci
test/add_remove_merge_conflict_label_in_ci
January 22, 2025 19:59 8m 39s
adjust TopNilpotent continuous integration #158441: Commit 067e9b5 pushed by AntoineChambert-Loir
January 22, 2025 19:59 1m 41s ACLMIdFF/MvPowerSeries_Evaluation
ACLMIdFF/MvPowerSeries_Evaluation
January 22, 2025 19:59 1m 41s
fix continuous integration #158440: Commit a103746 pushed by joneugster
January 22, 2025 19:58 56s eugster/conical_limit_4
eugster/conical_limit_4
January 22, 2025 19:58 56s
typo continuous integration #158439: Commit 8bad187 pushed by adomani
January 22, 2025 19:55 11m 57s adomani/add_remove_merge_conflict_label_in_ci
adomani/add_remove_merge_conflict_label_in_ci
January 22, 2025 19:55 11m 57s