Skip to content

Actions: leanprover-community/mathlib4

continuous integration (staging)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
7,252 workflow run results
7,252 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(AlgebraicGeometry): API for affine opens (#15259)
continuous integration (staging) #10965: Commit 33614d2 pushed by mathlib-bors bot
October 12, 2024 05:37 11m 36s staging
October 12, 2024 05:37 11m 36s
chore(bors.toml): remove obsolete label (#17664)
continuous integration (staging) #10964: Commit c35f067 pushed by mathlib-bors bot
October 12, 2024 00:58 9m 17s staging
October 12, 2024 00:58 9m 17s
chore: uniformise more copyright headers (#17660)
continuous integration (staging) #10963: Commit 9ba2d95 pushed by mathlib-bors bot
October 11, 2024 20:34 55m 11s staging
October 11, 2024 20:34 55m 11s
chore(scripts/bench): benchmark with --no-cache (#17572)
continuous integration (staging) #10962: Commit cd0f1a3 pushed by mathlib-bors bot
October 11, 2024 20:24 10m 51s staging
October 11, 2024 20:24 10m 51s
chore(SetTheory/Ordinal/Exponential): Ordinal.log cleanup (#17635)
continuous integration (staging) #10961: Commit 2a15456 pushed by mathlib-bors bot
October 11, 2024 19:55 29m 13s staging
October 11, 2024 19:55 29m 13s
feat(Dynamics.TopologicalEntropy.Semiconj): topological entropy and s…
continuous integration (staging) #10960: Commit ae22b2a pushed by mathlib-bors bot
October 11, 2024 18:32 9m 42s staging
October 11, 2024 18:32 9m 42s
chore: more adaptations for lean4#5542 (#17655)
continuous integration (staging) #10959: Commit d3599bd pushed by mathlib-bors bot
October 11, 2024 18:13 19m 38s staging
October 11, 2024 18:13 19m 38s
chore(Tactic/Polyrith): remove Python requests dependency in SageMa…
continuous integration (staging) #10958: Commit ee31f16 pushed by mathlib-bors bot
October 11, 2024 16:35 9m 48s staging
October 11, 2024 16:35 9m 48s
perf: use implicit parameters in SMul hierarchy (#17582)
continuous integration (staging) #10957: Commit 69c6cf5 pushed by mathlib-bors bot
October 11, 2024 15:48 46m 56s staging
October 11, 2024 15:48 46m 56s
chore(NumberTheory/Fermat): rename fermat to Nat.fermatNumber (#1…
continuous integration (staging) #10956: Commit 85cf1f1 pushed by mathlib-bors bot
October 11, 2024 15:01 47m 6s staging
October 11, 2024 15:01 47m 6s
chore: address @[elab_as_elim] porting notes (#17625)
continuous integration (staging) #10955: Commit 98e84e2 pushed by mathlib-bors bot
October 11, 2024 14:04 57m 8s staging
October 11, 2024 14:04 57m 8s
feat: the complement of a null set has full measure (#17644)
continuous integration (staging) #10954: Commit 49e5607 pushed by mathlib-bors bot
October 11, 2024 13:41 21m 8s staging
October 11, 2024 13:41 21m 8s
chore: remove "removed @[simp] to avoid a simpNF linter error" po…
continuous integration (staging) #10953: Commit 49ed4be pushed by mathlib-bors bot
October 11, 2024 13:32 9m 6s staging
October 11, 2024 13:32 9m 6s
feat(Measure/WithDensityFinite): redefine Measure.toFinite (#17421)
continuous integration (staging) #10952: Commit 69715a1 pushed by mathlib-bors bot
October 11, 2024 13:11 21m 5s staging
October 11, 2024 13:11 21m 5s
fix(CategoryTheory/Sites): typos in module docstring of `PreservesShe…
continuous integration (staging) #10951: Commit 9a93412 pushed by mathlib-bors bot
October 11, 2024 12:40 30m 41s staging
October 11, 2024 12:40 30m 41s
doc(SetTheory/Ordinal/Arithmetic): update module docs (#17603)
continuous integration (staging) #10950: Commit eab6727 pushed by mathlib-bors bot
October 11, 2024 12:11 29m 0s staging
October 11, 2024 12:11 29m 0s
feat: essSup of the uniform measure (#17463)
continuous integration (staging) #10949: Commit b22ecdf pushed by mathlib-bors bot
October 11, 2024 11:28 19m 22s staging
October 11, 2024 11:28 19m 22s
feat: PUnit × α ≃ᵐ α (#17640)
continuous integration (staging) #10948: Commit b74cd07 pushed by mathlib-bors bot
October 11, 2024 11:07 21m 42s staging
October 11, 2024 11:07 21m 42s
chore: clean up after #17615 (#17617)
continuous integration (staging) #10947: Commit c585207 pushed by mathlib-bors bot
October 11, 2024 10:10 34m 1s staging
October 11, 2024 10:10 34m 1s
feat: Finsupp.mapRange of a surjective function is surjective (#17637)
continuous integration (staging) #10946: Commit e4fa33c pushed by mathlib-bors bot
October 11, 2024 09:39 9m 44s staging
October 11, 2024 09:39 9m 44s
feat(MorphismProperty/Presheaf): add relative morphism property (#1…
continuous integration (staging) #10945: Commit d268c8e pushed by mathlib-bors bot
October 11, 2024 09:37 1m 25s staging
October 11, 2024 09:37 1m 25s
feat: Finsupp.mapRange of a surjective function is surjective (#17637)
continuous integration (staging) #10944: Commit 1a1a385 pushed by mathlib-bors bot
October 11, 2024 09:03 34m 6s staging
October 11, 2024 09:03 34m 6s
chore(Data/List): make List.map_const' be simp (#17622)
continuous integration (staging) #10943: Commit 7a7d5c0 pushed by mathlib-bors bot
October 11, 2024 08:08 55m 4s staging
October 11, 2024 08:08 55m 4s
feat: SpecialLinearGroup n R is finite when R is (#17629)
continuous integration (staging) #10942: Commit fe48a46 pushed by mathlib-bors bot
October 11, 2024 07:51 17m 11s staging
October 11, 2024 07:51 17m 11s
chore: rename condCount to uniformOn (#17571)
continuous integration (staging) #10941: Commit 3390e40 pushed by mathlib-bors bot
October 11, 2024 07:20 9m 22s staging
October 11, 2024 07:20 9m 22s