Skip to content

Actions: leanprover-community/mathlib4

Actions

continuous integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
2,500+ workflow runs
2,500+ workflow runs

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
chore: rename unitEqualises and counitCoequalises to American spe… continuous integration #215112: Commit e6bbacd pushed by mathlib-update-dependencies Bot
8m 11s update-dependencies-bot-use-only
update-dependencies-bot-use-only
8m 11s
chore: rename unitEqualises and counitCoequalises to American spe… continuous integration #215111: Commit e6bbacd pushed by mathlib-bors Bot
8m 51s master
master
8m 51s
chore: small golfs using fun_prop (#44224) continuous integration #215110: Commit 4952ca0 pushed by mathlib-update-dependencies Bot
8m 18s update-dependencies-bot-use-only
update-dependencies-bot-use-only
8m 18s
chore: small golfs using fun_prop (#44224) continuous integration #215109: Commit 4952ca0 pushed by mathlib-bors Bot
7m 48s master
master
7m 48s
chore: deprecate plus and minus in names (#44566) continuous integration #215108: Commit 474912e pushed by mathlib-bors Bot
8m 51s master
master
8m 51s
feat(Analysis/Fourier): decay of the Fourier transform of a function … continuous integration #215107: Commit d04adb6 pushed by mathlib-update-dependencies Bot
7m 38s update-dependencies-bot-use-only
update-dependencies-bot-use-only
7m 38s
feat(Analysis/Fourier): decay of the Fourier transform of a function … continuous integration #215106: Commit d04adb6 pushed by mathlib-bors Bot
8m 46s master
master
8m 46s
chore(RingTheory/IntegralClosure): remove redundant local instances i… continuous integration #215105: Commit 75b4d10 pushed by mathlib-update-dependencies Bot
8m 12s update-dependencies-bot-use-only
update-dependencies-bot-use-only
8m 12s
chore(RingTheory/IntegralClosure): remove redundant local instances i… continuous integration #215104: Commit 75b4d10 pushed by mathlib-bors Bot
8m 49s master
master
8m 49s
feat(Algebra/Order/IsBotOne): add IsBotOneClass instances (Prod, Pi… continuous integration #215103: Commit 256158a pushed by mathlib-bors Bot
9m 45s master
master
9m 45s
chore(Analysis/SpecialFunctions): use local notation for regularizedH… continuous integration #215102: Commit 1f8ed89 pushed by mathlib-update-dependencies Bot
9m 8s update-dependencies-bot-use-only
update-dependencies-bot-use-only
9m 8s
chore(Analysis/SpecialFunctions): use local notation for regularizedH… continuous integration #215101: Commit 1f8ed89 pushed by mathlib-bors Bot
8m 46s master
master
8m 46s
refactor(Analysis/Normed/Unbundled/SpectralNorm): extract, generalize… continuous integration #215100: Commit b02e72f pushed by mathlib-bors Bot
24m 25s master
master
24m 25s
refactor(Analysis/Normed/Unbundled/SpectralNorm): extract, generalize… continuous integration #215099: Commit b02e72f pushed by mathlib-bors Bot
10m 57s master
master
10m 57s
chore(RingTheory/IsGaloisGroup/Basic): automated extraction from #280… continuous integration #215098: Commit 321b3b8 pushed by mathlib-update-dependencies Bot
10m 55s update-dependencies-bot-use-only
update-dependencies-bot-use-only
10m 55s
chore(RingTheory/IsGaloisGroup/Basic): automated extraction from #280… continuous integration #215097: Commit 321b3b8 pushed by mathlib-bors Bot
9m 8s master
master
9m 8s
chore: adaptations to stronger multiGoal linter (#44560) continuous integration #215096: Commit 9d71a82 pushed by mathlib-bors Bot
10m 37s master
master
10m 37s
perf(Linter): bundle instance linters into one linter (#44436) continuous integration #215095: Commit 4beb549 pushed by mathlib-bors Bot
11m 31s master
master
11m 31s
chore: update Mathlib dependencies 2026-10-06-15-04 continuous integration #215094: Commit 51e4dbb pushed by mathlib-update-dependencies Bot
1h 20m 26s update-dependencies-bot-use-only
update-dependencies-bot-use-only
1h 20m 26s
chore(Geometry): tidy markdown headers (#42685) continuous integration #215093: Commit b411bb9 pushed by mathlib-bors Bot
9m 14s master
master
9m 14s
chore(Algebra/Algebra/Subalgebra/Operations): automated extraction fr… continuous integration #215092: Commit 69ef215 pushed by mathlib-bors Bot
12m 52s master
master
12m 52s
chore(RingTheory/Invariant/Basic): automated extraction from #28013 (… continuous integration #215091: Commit cefce8f pushed by mathlib-bors Bot
8m 1s master
master
8m 1s
chore: update Mathlib dependencies 2026-10-06-14-04 continuous integration #215090: Commit a955f00 pushed by mathlib-update-dependencies Bot
1h 5m 57s update-dependencies-bot-use-only
update-dependencies-bot-use-only
1h 5m 57s
chore: update Mathlib dependencies 2026-10-06-13-06 continuous integration #215089: Commit 997aeaf pushed by mathlib-update-dependencies Bot
1h 2m 55s update-dependencies-bot-use-only
update-dependencies-bot-use-only
1h 2m 55s
chore(FieldTheory/IntermediateField/Adjoin): fix recursors (#42856) continuous integration #215088: Commit eb681fb pushed by mathlib-bors Bot
8m 19s master
master
8m 19s