Skip to content

Actions: leanprover-community/mathlib4

Actions

continuous integration (staging)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bors.yml
7,037 workflow run results
7,037 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: Minor hypothesis changes, and a small lemma allowing `Continuo… continuous integration (staging) #10432: Commit 9785e5e pushed by mathlib-bors bot
September 14, 2024 05:03 28m 10s staging
staging
September 14, 2024 05:03 28m 10s
feat(Algebra/Algebra/Hom): add lemmas about toNatAlgHom and toIntAlgH… continuous integration (staging) #10431: Commit 784d620 pushed by mathlib-bors bot
September 14, 2024 03:36 43m 7s staging
staging
September 14, 2024 03:36 43m 7s
feat(CategoryTheory/EqToHom): simp lemmas for heq + eqToHom (#16779) continuous integration (staging) #10430: Commit 5e8abb7 pushed by mathlib-bors bot
September 14, 2024 02:37 25m 5s staging
staging
September 14, 2024 02:37 25m 5s
chore: deprecate Ordering.orElse for .then (#12068) continuous integration (staging) #10429: Commit bb7a63b pushed by mathlib-bors bot
September 13, 2024 20:11 59m 20s staging
staging
September 13, 2024 20:11 59m 20s
feat(Algebra/Group/Pi/Lemmas): add Pi.mulSingle_pow (#16774) continuous integration (staging) #10428: Commit 02e27eb pushed by mathlib-bors bot
September 13, 2024 18:49 47m 18s staging
staging
September 13, 2024 18:49 47m 18s
chore: remove unnecessary import (#16568) continuous integration (staging) #10427: Commit fb3ad74 pushed by mathlib-bors bot
September 13, 2024 18:34 9m 12s staging
staging
September 13, 2024 18:34 9m 12s
chore: adaptations for nightly-2024-09-13 (#16761) continuous integration (staging) #10426: Commit d25456f pushed by mathlib-bors bot
September 13, 2024 14:02 8m 49s staging
staging
September 13, 2024 14:02 8m 49s
docs(Combinatorics/SimpleGraph): line breaks and ends of sentences (#… continuous integration (staging) #10425: Commit 7dc3569 pushed by mathlib-bors bot
September 13, 2024 11:21 18m 55s staging
staging
September 13, 2024 11:21 18m 55s
style(Algebra/Groups/Defs): remove an extra space (#16756) continuous integration (staging) #10424: Commit 9cceedd pushed by mathlib-bors bot
September 13, 2024 10:46 34m 18s staging
staging
September 13, 2024 10:46 34m 18s
style(Algebra/Groups/Defs): hit the spacebar one less time (#16756) continuous integration (staging) #10423: Commit e14e943 pushed by mathlib-bors bot
September 13, 2024 10:46 1m 3s staging
staging
September 13, 2024 10:46 1m 3s
refactor: downgrade linear_combination (#15899) continuous integration (staging) #10422: Commit 8dc7c80 pushed by mathlib-bors bot
September 13, 2024 09:21 34m 18s staging
staging
September 13, 2024 09:21 34m 18s
chore: refactor ZLattice to Submodule ℤ (#16604) continuous integration (staging) #10421: Commit c3c78bb pushed by mathlib-bors bot
September 13, 2024 07:28 15m 36s staging
staging
September 13, 2024 07:28 15m 36s
feat(Algebra/Group/Pointwise): lower bound cardinality of s * s (#16745) continuous integration (staging) #10420: Commit cdc54f3 pushed by mathlib-bors bot
September 13, 2024 06:50 37m 9s staging
staging
September 13, 2024 06:50 37m 9s
chore: update LeanSearchClient github repo (#16750) continuous integration (staging) #10419: Commit bf6378e pushed by mathlib-bors bot
September 13, 2024 05:51 59m 12s staging
staging
September 13, 2024 05:51 59m 12s
chore: deprecate plain Commutative, Associative (#16749) continuous integration (staging) #10418: Commit 8ce5644 pushed by mathlib-bors bot
September 13, 2024 04:26 8m 39s staging
staging
September 13, 2024 04:26 8m 39s
feat(NumberTheory/JacobiSum/Basic): add two more results (#16734) continuous integration (staging) #10417: Commit 4e40837 pushed by mathlib-bors bot
September 13, 2024 04:03 8m 59s staging
staging
September 13, 2024 04:03 8m 59s
chore: remove autoImplicit from Logic.UnivLE (#16690) continuous integration (staging) #10416: Commit 580f59e pushed by mathlib-bors bot
September 13, 2024 03:40 23m 17s staging
staging
September 13, 2024 03:40 23m 17s
chore: fix docstring of HeytingAlgebra.himp_bot (#16587) continuous integration (staging) #10415: Commit d0afdfd pushed by mathlib-bors bot
September 13, 2024 00:04 1h 0m 23s staging
staging
September 13, 2024 00:04 1h 0m 23s
chore: Move pointwise finset lemmas under Algebra (#16744) continuous integration (staging) #10414: Commit 56da879 pushed by mathlib-bors bot
September 12, 2024 22:13 9m 30s staging
staging
September 12, 2024 22:13 9m 30s
chore(scripts/get_tlabel.sh): use 'CI' and 'IMO' labels for maintaine… continuous integration (staging) #10413: Commit 0829f93 pushed by mathlib-bors bot
September 12, 2024 20:44 8m 37s staging
staging
September 12, 2024 20:44 8m 37s
feat(Tactic/CategoryTheory/ToApp): Add to_app attribute (#16119) continuous integration (staging) #10412: Commit 9c09710 pushed by mathlib-bors bot
September 12, 2024 19:09 15m 3s staging
staging
September 12, 2024 19:09 15m 3s
feat(Ergodic/Conservative): add Conservative.measureRestrict (#16126) continuous integration (staging) #10411: Commit e6bff57 pushed by mathlib-bors bot
September 12, 2024 18:54 9m 20s staging
staging
September 12, 2024 18:54 9m 20s
chore(LinearAlgebra): prepare library for API refactor (#16738) continuous integration (staging) #10410: Commit 2f662a4 pushed by mathlib-bors bot
September 12, 2024 17:39 34m 53s staging
staging
September 12, 2024 17:39 34m 53s
chore: match the definition of AnalyticWithinAt with `ContDiffWithi… continuous integration (staging) #10409: Commit 24f0179 pushed by mathlib-bors bot
September 12, 2024 16:41 57m 52s staging
staging
September 12, 2024 16:41 57m 52s
chore: namespace lemmas to CStarAlgebra instead of CStarRing (#16… continuous integration (staging) #10408: Commit 862c665 pushed by mathlib-bors bot
September 12, 2024 16:24 11m 24s staging
staging
September 12, 2024 16:24 11m 24s