Skip to content

Actions: leanprover-community/mathlib4

Actions

continuous integration (mathlib forks)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build_fork.yml
110,403 workflow runs
110,403 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

abs values 3 continuous integration (mathlib forks) #146381: Commit a8e364c pushed by CBirkbeck
October 31, 2024 11:20 10s FixDetMatsReps
FixDetMatsReps
October 31, 2024 11:20 10s
abs values continuous integration (mathlib forks) #146380: Commit 6a8243c pushed by CBirkbeck
October 31, 2024 11:15 10s FixDetMatsReps
FixDetMatsReps
October 31, 2024 11:15 10s
chore(SetTheory/Ordinal/CantorNormalForm): cleanup proofs (#16998) continuous integration (mathlib forks) #146379: Commit b420b71 pushed by mathlib-bors bot
October 31, 2024 11:13 16s master
master
October 31, 2024 11:13 16s
feat: prepare for removing @[simp] from Sum.forall and Sum.exists continuous integration (mathlib forks) #146378: Commit 22d11f2 pushed by kim-em
October 31, 2024 11:10 12s lean-pr-testing-5900
lean-pr-testing-5900
October 31, 2024 11:10 12s
Typo in introduction text continuous integration (mathlib forks) #146377: Commit 2f0ddb0 pushed by PieterCuijpers
October 31, 2024 11:09 9s PieterCuijpers_Quantales
PieterCuijpers_Quantales
October 31, 2024 11:09 9s
feat: prepare for removing @[simp] from Sum.forall and Sum.exists continuous integration (mathlib forks) #146376: Commit e87de0c pushed by kim-em
October 31, 2024 11:07 12s unsimp_sum_lemmas
unsimp_sum_lemmas
October 31, 2024 11:07 12s
chore(SetTheory/Ordinal/CantorNormalForm): cleanup proofs (#16998) continuous integration (mathlib forks) #146375: Commit b420b71 pushed by mathlib-bors bot
October 31, 2024 11:06 12s staging
staging
October 31, 2024 11:06 12s
feat(NumberField/FundamentalCone): generalize the bijection to integr… continuous integration (mathlib forks) #146374: Commit cc5fa41 pushed by mathlib4-update-dependencies-bot
October 31, 2024 11:05 12s update-dependencies-bot-use-only
update-dependencies-bot-use-only
October 31, 2024 11:05 12s
make BadChar and associated decls private continuous integration (mathlib forks) #146373: Commit cb12d0c pushed by MichaelStollBayreuth
October 31, 2024 11:04 11s MS_quadratic_nonvanishing
MS_quadratic_nonvanishing
October 31, 2024 11:04 11s
Apply suggestions from code review continuous integration (mathlib forks) #146372: Commit 0098e07 pushed by MichaelStollBayreuth
October 31, 2024 11:01 11s MS_quadratic_nonvanishing
MS_quadratic_nonvanishing
October 31, 2024 11:01 11s
Split off a Ideal/BigOperators.lean file to avoid increasing import… continuous integration (mathlib forks) #146371: Commit f65306b pushed by Vierkantor
October 31, 2024 10:59 11s split-Submodule.Basic
split-Submodule.Basic
October 31, 2024 10:59 11s
Update docs/references.bib continuous integration (mathlib forks) #146370: Commit cf1b028 pushed by PieterCuijpers
October 31, 2024 10:49 14s PieterCuijpers_Quantales
PieterCuijpers_Quantales
October 31, 2024 10:49 14s
add coclique number and maximum/maximal independent sets continuous integration (mathlib forks) #146369: Commit e2f3d3f pushed by ooovi
October 31, 2024 10:48 10s feat-independence-set
feat-independence-set
October 31, 2024 10:48 10s
Corrected bibtex references continuous integration (mathlib forks) #146368: Commit c72a23f pushed by PieterCuijpers
October 31, 2024 10:47 9s PieterCuijpers_Quantales
PieterCuijpers_Quantales
October 31, 2024 10:47 9s
Move file continuous integration (mathlib forks) #146367: Commit 04376d5 pushed by ADedecker
October 31, 2024 10:47 12s AD_WOT
AD_WOT
October 31, 2024 10:47 12s
Fix namespace continuous integration (mathlib forks) #146366: Commit 3fddedf pushed by TwoFX
October 31, 2024 10:43 10s finite-colimits-of-filtered
finite-colimits-of-filtered
October 31, 2024 10:43 10s
Better comments continuous integration (mathlib forks) #146365: Commit 0550ad8 pushed by TwoFX
October 31, 2024 10:42 13s finite-colimits-of-filtered
finite-colimits-of-filtered
October 31, 2024 10:42 13s
Add comments about functor associativity continuous integration (mathlib forks) #146364: Commit cb4f859 pushed by TwoFX
October 31, 2024 10:38 13s finite-colimits-of-filtered
finite-colimits-of-filtered
October 31, 2024 10:38 13s
Merge remote-tracking branch 'origin' into PieterCuijpers_Quantales continuous integration (mathlib forks) #146363: Commit dc50f88 pushed by PieterCuijpers
October 31, 2024 10:31 14s PieterCuijpers_Quantales
PieterCuijpers_Quantales
October 31, 2024 10:31 14s
feat(NumberField/FundamentalCone): generalize the bijection to integr… continuous integration (mathlib forks) #146362: Commit cc5fa41 pushed by mathlib-bors bot
October 31, 2024 10:26 14s master
master
October 31, 2024 10:26 14s
Fix after merge continuous integration (mathlib forks) #146361: Commit 703698a pushed by xroblot
October 31, 2024 10:25 11s xfr-unitpart_basic
xfr-unitpart_basic
October 31, 2024 10:25 11s
1st commit continuous integration (mathlib forks) #146360: Commit 67977ec pushed by xroblot
October 31, 2024 10:20 12s xfr-lint_polardcoord
xfr-lint_polardcoord
October 31, 2024 10:20 12s
feat(NumberField/FundamentalCone): generalize the bijection to integr… continuous integration (mathlib forks) #146359: Commit cc5fa41 pushed by mathlib-bors bot
October 31, 2024 10:18 17s staging
staging
October 31, 2024 10:18 17s
Merge branch 'master' into dagur/SubcanonicalClass continuous integration (mathlib forks) #146358: Commit d039e26 pushed by dagurtomas
October 31, 2024 10:16 13s dagur/SubcanonicalClass
dagur/SubcanonicalClass
October 31, 2024 10:16 13s
Remove commented-out code continuous integration (mathlib forks) #146357: Commit a0a8b60 pushed by Vierkantor
October 31, 2024 10:16 11s split-Subgroup.MulOpposite
split-Subgroup.MulOpposite
October 31, 2024 10:16 11s