Skip to content

Actions: leanprover-community/mathlib4

Actions

continuous integration (staging)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bors.yml
7,799 workflow runs
7,799 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add deprecation script (#18150) continuous integration (staging) #11530: Commit ecb2a9e pushed by mathlib-bors bot
October 31, 2024 12:07 7m 31s staging
staging
October 31, 2024 12:07 7m 31s
chore(SetTheory/Ordinal/CantorNormalForm): cleanup proofs (#16998) continuous integration (staging) #11529: Commit b420b71 pushed by mathlib-bors bot
October 31, 2024 11:06 7m 21s staging
staging
October 31, 2024 11:06 7m 21s
feat(NumberField/FundamentalCone): generalize the bijection to integr… continuous integration (staging) #11528: Commit cc5fa41 pushed by mathlib-bors bot
October 31, 2024 10:18 8m 11s staging
staging
October 31, 2024 10:18 8m 11s
feat(LinearAlgebra): nilpotent <-> charpoly = X ^ n (#18417) continuous integration (staging) #11527: Commit 595ebf2 pushed by mathlib-bors bot
October 31, 2024 09:53 7m 52s staging
staging
October 31, 2024 09:53 7m 52s
chore(Order/InitialSeg): private / delete inner workings (#17609) continuous integration (staging) #11526: Commit 7c7a48f pushed by mathlib-bors bot
October 31, 2024 09:16 37m 10s staging
staging
October 31, 2024 09:16 37m 10s
chore(scripts/create-adaptation-pr): auto mode by default, no-edit me… continuous integration (staging) #11525: Commit 348232e pushed by mathlib-bors bot
October 31, 2024 07:30 7m 22s staging
staging
October 31, 2024 07:30 7m 22s
chore: cleanup ContDiffWithinAt API, to match the ContinuousAt AP… continuous integration (staging) #11524: Commit ee37658 pushed by mathlib-bors bot
October 31, 2024 06:53 37m 44s staging
staging
October 31, 2024 06:53 37m 44s
chore: deal with porting notes about 'protected' (#18368) continuous integration (staging) #11523: Commit d927305 pushed by mathlib-bors bot
October 31, 2024 05:46 37m 41s staging
staging
October 31, 2024 05:46 37m 41s
chore: remove unused variables (#18471) continuous integration (staging) #11522: Commit ec133ff pushed by mathlib-bors bot
October 31, 2024 04:14 17m 33s staging
staging
October 31, 2024 04:14 17m 33s
chore: update Mathlib dependencies 2024-10-31 (#18478) continuous integration (staging) #11521: Commit 2bf9cc6 pushed by mathlib-bors bot
October 31, 2024 03:52 8m 54s staging
staging
October 31, 2024 03:52 8m 54s
chore(Computability/TuringMachine): change uses of get(?) to `getEl… continuous integration (staging) #11520: Commit 422ea74 pushed by mathlib-bors bot
October 31, 2024 02:46 25m 12s staging
staging
October 31, 2024 02:46 25m 12s
feat (RootSystem/Hom): endomorphisms and automorphisms of root pairin… continuous integration (staging) #11519: Commit 169ed0a pushed by mathlib-bors bot
October 31, 2024 02:17 33m 17s staging
staging
October 31, 2024 02:17 33m 17s
chore (FieldTheory) : lower priority of instance about IsScalarTower … continuous integration (staging) #11518: Commit 7ff3ad0 pushed by mathlib-bors bot
October 31, 2024 00:45 11m 59s staging
staging
October 31, 2024 00:45 11m 59s
feat(Data/Fin/Tuple): Define Fin.take and initial theorems (#17196) continuous integration (staging) #11517: Commit 4b5f1a0 pushed by mathlib-bors bot
October 31, 2024 00:24 7m 14s staging
staging
October 31, 2024 00:24 7m 14s
feat(Data/List/Chain): chain'_attachWith (#18429) continuous integration (staging) #11516: Commit 2959869 pushed by mathlib-bors bot
October 30, 2024 23:50 34m 28s staging
staging
October 30, 2024 23:50 34m 28s
chore(scripts): require all scripts to be documented in the README (#… continuous integration (staging) #11515: Commit 4bb3008 pushed by mathlib-bors bot
October 30, 2024 23:46 7m 4s staging
staging
October 30, 2024 23:46 7m 4s
chore(scripts): require all scripts to be documented in the README (#… continuous integration (staging) #11514: Commit 74ce47f pushed by mathlib-bors bot
October 30, 2024 23:31 7m 42s staging
staging
October 30, 2024 23:31 7m 42s
feat(Topology/Group): Open normal subgroup in clopen nhds of one (#18… continuous integration (staging) #11513: Commit c6c4ad2 pushed by mathlib-bors bot
October 30, 2024 20:23 9m 57s staging
staging
October 30, 2024 20:23 9m 57s
chore(install_macos.sh): Don't overwrite existing vscode (#18300) continuous integration (staging) #11512: Commit 652d155 pushed by mathlib-bors bot
October 30, 2024 19:21 7m 18s staging
staging
October 30, 2024 19:21 7m 18s
chore({Finset,Multiset}/Lattice): add gcongr attributes (#18451) continuous integration (staging) #11511: Commit 9889933 pushed by mathlib-bors bot
October 30, 2024 18:46 35m 6s staging
staging
October 30, 2024 18:46 35m 6s
feat: the positive and negative parts of a selfadjoint element in a C… continuous integration (staging) #11510: Commit 305a53d pushed by mathlib-bors bot
October 30, 2024 17:52 7m 20s staging
staging
October 30, 2024 17:52 7m 20s
chore(RingTheory/PrincipalIdealDomain): PID implies Noetherian (#18382) continuous integration (staging) #11509: Commit 72cd706 pushed by mathlib-bors bot
October 30, 2024 17:12 20m 36s staging
staging
October 30, 2024 17:12 20m 36s
feat: positive contractions in a C⋆-algebra form a directed set (#18016) continuous integration (staging) #11508: Commit e15c6eb pushed by mathlib-bors bot
October 30, 2024 16:54 9m 32s staging
staging
October 30, 2024 16:54 9m 32s
chore: golf LinearMap.weakBilin_withSeminorms (#18443) continuous integration (staging) #11507: Commit 2f4be05 pushed by mathlib-bors bot
October 30, 2024 15:54 7m 18s staging
staging
October 30, 2024 15:54 7m 18s
feat(FieldTheory): add basic api's for relative algebraic closure (#1… continuous integration (staging) #11506: Commit 4b231df pushed by mathlib-bors bot
October 30, 2024 14:15 13m 5s staging
staging
October 30, 2024 14:15 13m 5s