Skip to content

Actions: leanprover-community/mathlib4

continuous integration (mathlib forks)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
110,449 workflow runs
110,449 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

merge master
continuous integration (mathlib forks) #146314: Commit 2e27203 pushed by sgouezel
October 31, 2024 08:06 15s SG_lie
October 31, 2024 08:06 15s
review
continuous integration (mathlib forks) #146313: Commit bbd998e pushed by sgouezel
October 31, 2024 07:59 9s SG_invertible
October 31, 2024 07:59 9s
chore(scripts/create-adaptation-pr): auto mode by default, no-edit me…
continuous integration (mathlib forks) #146312: Commit 348232e pushed by mathlib-bors bot
October 31, 2024 07:37 11s master
October 31, 2024 07:37 11s
chore(scripts/create-adaptation-pr): auto mode by default, no-edit me…
continuous integration (mathlib forks) #146311: Commit 348232e pushed by mathlib-bors bot
October 31, 2024 07:30 14s staging
October 31, 2024 07:30 14s
chore: cleanup ContDiffWithinAt API, to match the ContinuousAt AP…
continuous integration (mathlib forks) #146310: Commit ee37658 pushed by mathlib-bors bot
October 31, 2024 07:30 14s master
October 31, 2024 07:30 14s
remove pi_congr
continuous integration (mathlib forks) #146309: Commit 2bfe5d3 pushed by kmill
October 31, 2024 07:26 9s lean-pr-testing-5894
October 31, 2024 07:26 9s
Update lean-toolchain for testing https://github.com/leanprover/lean4…
continuous integration (mathlib forks) #146308: Commit b5608db pushed by leanprover-community-mathlib4-bot
October 31, 2024 07:17 9s lean-pr-testing-5894
October 31, 2024 07:17 9s
chore: deal with porting notes about 'protected' (#18368)
continuous integration (mathlib forks) #146307: Commit d927305 pushed by mathlib4-update-dependencies-bot
October 31, 2024 07:06 10s update-dependencies-bot-use-only
October 31, 2024 07:06 10s
chore: cleanup ContDiffWithinAt API, to match the ContinuousAt AP…
continuous integration (mathlib forks) #146305: Commit ee37658 pushed by mathlib-bors bot
October 31, 2024 06:53 14s staging
October 31, 2024 06:53 14s
fix merge
continuous integration (mathlib forks) #146304: Commit 368c8c7 pushed by ScottCarnahan
October 31, 2024 06:41 12s ScottCarnahan/HahnRefactor
October 31, 2024 06:41 12s
Merge master into nightly-testing
continuous integration (mathlib forks) #146303: Commit 2e9b7f5 pushed by leanprover-community-mathlib4-bot
October 31, 2024 06:36 11s nightly-testing
October 31, 2024 06:36 11s
chore: deal with porting notes about 'protected' (#18368)
continuous integration (mathlib forks) #146302: Commit d927305 pushed by mathlib-bors bot
October 31, 2024 06:24 16s master
October 31, 2024 06:24 16s
chore: deal with porting notes about 'protected' (#18368)
continuous integration (mathlib forks) #146301: Commit d927305 pushed by mathlib-bors bot
October 31, 2024 05:46 12s staging
October 31, 2024 05:46 12s
Merge branch 'master' into acmepjz_alg_indep_3
continuous integration (mathlib forks) #146300: Commit 380aca6 pushed by acmepjz
October 31, 2024 05:45 11s acmepjz_alg_indep_3
October 31, 2024 05:45 11s
Revert "remove variable"
continuous integration (mathlib forks) #146299: Commit 8cc60c7 pushed by vihdzp
October 31, 2024 05:38 9s vi.rank_tweaks
October 31, 2024 05:38 9s
remove variable
continuous integration (mathlib forks) #146298: Commit 751b341 pushed by vihdzp
October 31, 2024 05:15 10s vi.rank_tweaks
October 31, 2024 05:15 10s
Update Lex.lean
continuous integration (mathlib forks) #146297: Commit 2bc278b pushed by vihdzp
October 31, 2024 05:12 10s vi.prodLex
October 31, 2024 05:12 10s
Update Mathlib/RingTheory/LocalProperties/Submodule.lean
continuous integration (mathlib forks) #146296: Commit cc2212a pushed by erdOne
October 31, 2024 05:06 13s erd1/projectivelocal2
October 31, 2024 05:06 13s
Update Lex.lean
continuous integration (mathlib forks) #146295: Commit 531fb83 pushed by vihdzp
October 31, 2024 05:06 10s vi.prodLex
October 31, 2024 05:06 10s
Update Mathlib/RingTheory/LocalProperties/Projective.lean
continuous integration (mathlib forks) #146294: Commit e35c74a pushed by erdOne
October 31, 2024 05:06 15s erd1/projectivelocal2
October 31, 2024 05:06 15s
chore: remove unused variables (#18471)
continuous integration (mathlib forks) #146293: Commit ec133ff pushed by mathlib-bors bot
October 31, 2024 04:31 11s master
October 31, 2024 04:31 11s
deprecations
continuous integration (mathlib forks) #146292: Commit 20d973e pushed by kim-em
October 31, 2024 04:20 13s nightly-testing
October 31, 2024 04:20 13s
chore: remove unused variables (#18471)
continuous integration (mathlib forks) #146291: Commit ec133ff pushed by mathlib-bors bot
October 31, 2024 04:14 12s staging
October 31, 2024 04:14 12s
address comments
continuous integration (mathlib forks) #146290: Commit a3bd615 pushed by erdOne
October 31, 2024 04:08 10s erd1/formallySmoothSplitInj
October 31, 2024 04:08 10s