Skip to content

Actions: lua-vr/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
685 workflow runs
685 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
feat(MeasureTheory/VectorMeasure): integral against a signed measure … continuous integration #357: Commit 95e96b4 pushed by lua-vr
1s signed-integral-rnDeriv
signed-integral-rnDeriv
1s
feat(MeasureTheory/VectorMeasure): integral against a signed measure … continuous integration #356: Commit ebcdb89 pushed by lua-vr
1s signed-integral-rnDeriv
signed-integral-rnDeriv
1s
trigger ci continuous integration #355: Commit 053b4a0 pushed by lua-vr
5s addcircle-infinite
addcircle-infinite
5s
golfing continuous integration #354: Commit fee54d4 pushed by lua-vr
1s addcircle-infinite
addcircle-infinite
1s
Revert "eq" continuous integration #353: Commit 53ec4f0 pushed by lua-vr
1s quotientgroup-map-injective
quotientgroup-map-injective
1s
eq continuous integration #352: Commit 55483a5 pushed by lua-vr
1s quotientgroup-map-injective
quotientgroup-map-injective
1s
remove hp continuous integration #351: Commit 2202162 pushed by lua-vr
11s addcircle-infinite
addcircle-infinite
11s
tidy continuous integration #350: Commit 54c2944 pushed by lua-vr
2s addcircle-infinite
addcircle-infinite
2s
use AddCircle.map for ratAddCircle continuous integration #349: Commit 41c7337 pushed by lua-vr
2s vitali-set
vitali-set
2s
proof without Archimedean continuous integration #348: Commit 488c435 pushed by lua-vr
1s addcircle-infinite
addcircle-infinite
1s
more general lemma for functions continuous integration #347: Commit fbd0a22 pushed by lua-vr
1s lyapunov-convexity
lyapunov-convexity
1s
use AddCircle.map for ratAddCircle continuous integration #346: Commit c6bdc05 pushed by lua-vr
10s vitali-set
vitali-set
10s
[pre-commit.ci lite] pre-commit run --all-files continuous integration #345: Commit 5868524 pushed by pre-commit-ci-lite Bot
8s vitali-set
vitali-set
8s
use AddCircle.map for ratAddCircle continuous integration #344: Commit 00d3822 pushed by lua-vr
8s vitali-set
vitali-set
8s
feat(GroupTheory/Coset/Card): quotients of countable groups are count… continuous integration #343: Commit 5c93a96 pushed by lua-vr
1s quotientgroup-countable
quotientgroup-countable
1s
feat(GroupTheory/Coset/Card): quotients of countable groups are count… continuous integration #342: Commit 4389f40 pushed by lua-vr
2s quotientgroup-countable
quotientgroup-countable
2s
use f p ∈ zmultiples q continuous integration #341: Commit 093a0be pushed by lua-vr
8s addcircle-map
addcircle-map
8s
remove Finite.dense_iff continuous integration #340: Commit c2fff6f pushed by lua-vr
1s dense-infinite
dense-infinite
1s
simpa → simp continuous integration #339: Commit e1985d9 pushed by lua-vr
1s addcircle-infinite
addcircle-infinite
1s
simpa → simp continuous integration #338: Commit dfa329b pushed by lua-vr
1s addcircle-infinite
addcircle-infinite
1s
feat(Topology/Instances/AddCircle): maps between AddCircles induced b… continuous integration #337: Commit 88cde38 pushed by lua-vr
1s addcircle-map
addcircle-map
1s
feat(GroupTheory/QuotientGroup): add QuotientGroup.map_injective_iff continuous integration #336: Commit 1be3403 pushed by lua-vr
1s quotientgroup-map-injective
quotientgroup-map-injective
1s
feat(Topology/Instances/AddCircle): maps between AddCircles induced b… continuous integration #335: Commit f13853f pushed by lua-vr
1s addcircle-map
addcircle-map
1s
feat(Topology/Separation/Basic): dense sets in infinite T1 spaces are… continuous integration #334: Commit 9dbd24b pushed by lua-vr
1s dense-infinite
dense-infinite
1s
feat(Topology/Separation/Basic): dense sets in infinite T1 spaces are… continuous integration #333: Commit b09f551 pushed by lua-vr
1s dense-infinite
dense-infinite
1s