Skip to content

Actions: leanprover-community/mathlib4

Actions

continuous integration (staging)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bors.yml
5,169 workflow run results
5,169 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add unitor functor for product of categories (#13663) continuous integration (staging) #8707: Commit 1616f72 pushed by mathlib-bors bot
June 23, 2024 16:39 10m 13s staging
staging
June 23, 2024 16:39 10m 13s
feat(SpecialFunctions/Log): add extended nonnegative real logarithm (… continuous integration (staging) #8706: Commit 2fc483b pushed by mathlib-bors bot
June 23, 2024 16:19 10m 4s staging
staging
June 23, 2024 16:19 10m 4s
feat(FiberedCategory/BasedCategory): add bicategory of based categori… continuous integration (staging) #8705: Commit 41c8f83 pushed by mathlib-bors bot
June 23, 2024 15:38 10m 13s staging
staging
June 23, 2024 15:38 10m 13s
feat(Geometry/RingedSpace/OpenImmersion): make IsOpenImmersion inst… continuous integration (staging) #8704: Commit 5c12fd7 pushed by mathlib-bors bot
June 23, 2024 14:59 14m 30s staging
staging
June 23, 2024 14:59 14m 30s
feat: rewrite the copyright header check in Lean (#13240) continuous integration (staging) #8703: Commit 1ca5430 pushed by mathlib-bors bot
June 23, 2024 12:43 10m 17s staging
staging
June 23, 2024 12:43 10m 17s
feat(Analysis/MeanInequalities): HM-GM inequality (#13721) continuous integration (staging) #8702: Commit 4e1840a pushed by mathlib-bors bot
June 23, 2024 12:16 20m 32s staging
staging
June 23, 2024 12:16 20m 32s
chore(Data/ENat): unbundle ENat.toNat (#13936) continuous integration (staging) #8701: Commit a6a6c6b pushed by mathlib-bors bot
June 23, 2024 11:05 42m 4s staging
staging
June 23, 2024 11:05 42m 4s
cleanup: remove summarize_declarations and tooling for move-decls… continuous integration (staging) #8700: Commit 7cac44b pushed by mathlib-bors bot
June 23, 2024 08:02 11m 37s staging
staging
June 23, 2024 08:02 11m 37s
feat(lint-style): fix update-style-exceptions.py; produce human-rea… continuous integration (staging) #8699: Commit ca9e9db pushed by mathlib-bors bot
June 23, 2024 07:52 10m 0s staging
staging
June 23, 2024 07:52 10m 0s
test: diff of declarations in lean continuous integration (staging) #8698: Pull request #14046 synchronize by adomani
June 23, 2024 07:01 12m 57s adomani/lean_decl_diff_test
adomani/lean_decl_diff_test
June 23, 2024 07:01 12m 57s
chore: split some results out of Analysis.Normed.Group.Basic (#14035) continuous integration (staging) #8697: Commit 756e653 pushed by mathlib-bors bot
June 23, 2024 06:39 26m 32s staging
staging
June 23, 2024 06:39 26m 32s
test: diff of declarations in lean continuous integration (staging) #8696: Pull request #14046 opened by adomani
June 23, 2024 06:37 24m 50s adomani/lean_decl_diff_test
adomani/lean_decl_diff_test
June 23, 2024 06:37 24m 50s
test/decl diff in lean dev continuous integration (staging) #8695: Pull request #14038 synchronize by adomani
June 23, 2024 06:29 17m 2s adomani/decl_diff_in_lean_dev
adomani/decl_diff_in_lean_dev
June 23, 2024 06:29 17m 2s
test/decl diff in lean dev continuous integration (staging) #8694: Pull request #14038 synchronize by adomani
June 23, 2024 05:49 17m 59s adomani/decl_diff_in_lean_dev
adomani/decl_diff_in_lean_dev
June 23, 2024 05:49 17m 59s
chore(AlgebraicGeometry/OpenImmersion): resolve some outdated porting… continuous integration (staging) #8693: Commit 92377b4 pushed by mathlib-bors bot
June 23, 2024 05:04 10m 19s staging
staging
June 23, 2024 05:04 10m 19s
feat(ContinuousFunctionalCalculus): add lemmas about the CFC applied … continuous integration (staging) #8692: Commit 8ca3141 pushed by mathlib-bors bot
June 23, 2024 01:13 13m 3s staging
staging
June 23, 2024 01:13 13m 3s
test/decl diff in lean dev continuous integration (staging) #8691: Pull request #14038 synchronize by adomani
June 22, 2024 23:51 12m 28s adomani/decl_diff_in_lean_dev
adomani/decl_diff_in_lean_dev
June 22, 2024 23:51 12m 28s
test/decl diff in lean dev continuous integration (staging) #8690: Pull request #14038 synchronize by adomani
June 22, 2024 23:45 11m 21s adomani/decl_diff_in_lean_dev
adomani/decl_diff_in_lean_dev
June 22, 2024 23:45 11m 21s
test/decl diff in lean dev continuous integration (staging) #8689: Pull request #14038 synchronize by adomani
June 22, 2024 23:36 12m 2s adomani/decl_diff_in_lean_dev
adomani/decl_diff_in_lean_dev
June 22, 2024 23:36 12m 2s
test/decl diff in lean dev continuous integration (staging) #8688: Pull request #14038 synchronize by adomani
June 22, 2024 23:29 12m 6s adomani/decl_diff_in_lean_dev
adomani/decl_diff_in_lean_dev
June 22, 2024 23:29 12m 6s
chat gpt correction continuous integration (staging) #8687: Commit 7997356 pushed by adomani
June 22, 2024 23:24 Failure adomani/decl_diff_in_lean_dev
adomani/decl_diff_in_lean_dev
June 22, 2024 23:24 Failure
get with chat gpt continuous integration (staging) #8686: Commit 7016d44 pushed by adomani
June 22, 2024 23:18 Failure adomani/decl_diff_in_lean_dev
adomani/decl_diff_in_lean_dev
June 22, 2024 23:18 Failure
add workflow calls continuous integration (staging) #8685: Commit 38eca3c pushed by adomani
June 22, 2024 20:33 Failure test/decl_diff_in_lean
test/decl_diff_in_lean
June 22, 2024 20:33 Failure
uncomment continuous integration (staging) #8684: Commit 03cfac9 pushed by adomani
June 22, 2024 20:28 Failure test/decl_diff_in_lean
test/decl_diff_in_lean
June 22, 2024 20:28 Failure
workflow_call continuous integration (staging) #8683: Commit ba43a97 pushed by adomani
June 22, 2024 20:27 Failure test/decl_diff_in_lean
test/decl_diff_in_lean
June 22, 2024 20:27 Failure