Skip to content

Actions: JOSHCLUNE/mathlib4

Actions

continuous integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update to v4.25.0 continuous integration #10: Commit 396f2f6 pushed by JOSHCLUNE
2s hammer
hammer
2s
doc(RingTheory): tidy backticks (#31753) continuous integration #9: Commit 79c8606 pushed by JOSHCLUNE
2s master
master
2s
chore: allow uploading oleans for LeanHammer continuous integration #8: Commit 3365559 pushed by JOSHCLUNE
1s cache_hammer
cache_hammer
1s
chore(LinearAlgebra/Dual/Defs): generalize Module.Dual to use `Semi… continuous integration #7: Commit 023a18d pushed by JOSHCLUNE
1s cache_hammer
cache_hammer
1s
feat(BoundedContinuousFunction): multiplicative versions (#31089) continuous integration #6: Commit 82dd791 pushed by JOSHCLUNE
1s cache_hammer
cache_hammer
1s
Fixing inputRevs to satisfy CI continuous integration #5: Commit fb20e85 pushed by JOSHCLUNE
1s hammer
hammer
1s
Require LeanHammer continuous integration #4: Commit 6c22179 pushed by JOSHCLUNE
2s hammer
hammer
2s
chore: replace some tac; grind where grind suffices (#30528) continuous integration #3: Commit f897ebc pushed by JOSHCLUNE
1s hammer
hammer
1s
feat(Algebra/BigOperators/Finsupp/Basic): add Finsupp.sum_eq_one_iff … continuous integration #2: Commit 94d4b32 pushed by JOSHCLUNE
4s hammer
hammer
4s
feat(Algebra/BigOperators/Finsupp/Basic): add Finsupp.sum_eq_one_iff … continuous integration #1: Commit 94d4b32 pushed by JOSHCLUNE
2s master
master
2s