Skip to content
This repository has been archived by the owner on Jul 24, 2024. It is now read-only.

Actions: leanprover-community/mathlib3

Actions

continuous integration (mathlib forks)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build_fork.yml
138 workflow runs
138 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge master into YK-card-fiber-eq (using imerge) continuous integration (mathlib forks) #81631: Commit bd29536 pushed by urkud
February 11, 2024 05:58 5s YK-card-fiber-eq
YK-card-fiber-eq
February 11, 2024 05:58 5s
higher derivatives of a mutlilinear map continuous integration (mathlib forks) #81630: Commit edf12c3 pushed by smorel394
December 20, 2023 08:51 1h 24m 20s MultilinearMapContDiff
MultilinearMapContDiff
December 20, 2023 08:51 1h 24m 20s
Merge remote-tracking branch 'origin/master' into MultilinearMapContDiff continuous integration (mathlib forks) #81629: Commit e3fc648 pushed by smorel394
December 20, 2023 00:32 3m 59s MultilinearMapContDiff
MultilinearMapContDiff
December 20, 2023 00:32 3m 59s
Merge branch 'master' into YK-cont-alternating continuous integration (mathlib forks) #81628: Commit 2851eea pushed by urkud
November 28, 2023 16:05 8s YK-cont-alternating
YK-cont-alternating
November 28, 2023 16:05 8s
Merge branch 'master' into YK-cont-alternating continuous integration (mathlib forks) #81627: Commit 991d1b5 pushed by urkud
November 28, 2023 16:02 8s YK-cont-alternating
YK-cont-alternating
November 28, 2023 16:02 8s
Updated normal correspondence code to Lean 4 continuous integration (mathlib forks) #81626: Commit 6e16239 pushed by ChimiSeanGa
November 27, 2023 16:49 5s normal_correspondence
normal_correspondence
November 27, 2023 16:49 5s
feat(data/{list,multiset,finset}/*): attach and filter lemmas (#1… continuous integration (mathlib forks) #81625: Commit 65a1391 pushed by hmonroe
November 22, 2023 01:59 5s hmonroe_computability
hmonroe_computability
November 22, 2023 01:59 5s
fix continuous integration (mathlib forks) #81624: Commit b6a69bf pushed by eric-wieser
November 12, 2023 12:55 4s eric-wieser/exp-rat
eric-wieser/exp-rat
November 12, 2023 12:55 4s
Merge remote-tracking branch 'origin/master' into eric-wieser/exp-rat continuous integration (mathlib forks) #81623: Commit b275b43 pushed by eric-wieser
November 12, 2023 12:45 4s eric-wieser/exp-rat
eric-wieser/exp-rat
November 12, 2023 12:45 4s
Merge remote-tracking branch 'origin/master' into kneser continuous integration (mathlib forks) #81622: Commit c2a7197 pushed by YaelDillies
October 31, 2023 15:30 7s kneser
kneser
October 31, 2023 15:30 7s
bump continuous integration (mathlib forks) #81621: Commit c1f8e2b pushed by YaelDillies
October 30, 2023 22:52 4s erdos_ginzburg_ziv
erdos_ginzburg_ziv
October 30, 2023 22:52 4s
feat(data/{list,multiset,finset}/*): attach and filter lemmas (#1… continuous integration (mathlib forks) #81620: Commit 65a1391 pushed by bors bot
October 30, 2023 18:28 5s master
master
October 30, 2023 18:28 5s
feat(data/{list,multiset,finset}/*): attach and filter lemmas (#1… continuous integration (mathlib forks) #81619: Commit 65a1391 pushed by bors bot
October 30, 2023 15:07 6s staging
staging
October 30, 2023 15:07 6s
bump continuous integration (mathlib forks) #81618: Commit 05cb65f pushed by YaelDillies
October 23, 2023 07:19 4s locally_linear_graph
locally_linear_graph
October 23, 2023 07:19 4s
Merge remote-tracking branch 'origin/master' into locally_linear_graph continuous integration (mathlib forks) #81617: Commit d10f1c7 pushed by YaelDillies
October 23, 2023 07:12 5s locally_linear_graph
locally_linear_graph
October 23, 2023 07:12 5s
feat(combinatorics/simple_graph): More clique lemmas (#19203) continuous integration (mathlib forks) #81616: Commit 3365b20 pushed by bors bot
October 22, 2023 23:25 5s master
master
October 22, 2023 23:25 5s
feat(combinatorics/simple_graph): More clique lemmas (#19203) continuous integration (mathlib forks) #81615: Commit 3365b20 pushed by bors bot
October 22, 2023 19:51 3s staging
staging
October 22, 2023 19:51 3s
linter continuous integration (mathlib forks) #81614: Commit ae455e7 pushed by b-mehta
October 22, 2023 15:46 4s exponential-ramsey
exponential-ramsey
October 22, 2023 15:46 4s
Merge branch 'master' into polyrith-radical continuous integration (mathlib forks) #81613: Commit 36ca392 pushed by robertylewis
October 18, 2023 01:48 4s polyrith-radical
polyrith-radical
October 18, 2023 01:48 4s
linter continuous integration (mathlib forks) #81612: Commit bb2cf53 pushed by b-mehta
October 16, 2023 19:49 6s exponential-ramsey
exponential-ramsey
October 16, 2023 19:49 6s
move stuff around more continuous integration (mathlib forks) #81611: Commit 8e10cac pushed by b-mehta
October 16, 2023 18:34 6s exponential-ramsey
exponential-ramsey
October 16, 2023 18:34 6s
feat(measure_theory/order/upper_lower): Order-connected sets in ℝⁿ … continuous integration (mathlib forks) #81610: Commit b1abe23 pushed by eric-wieser
October 16, 2023 15:12 6s master
master
October 16, 2023 15:12 6s
feat(measure_theory/order/upper_lower): Order-connected sets in ℝⁿ … continuous integration (mathlib forks) #81609: Commit b1abe23 pushed by eric-wieser
October 16, 2023 15:10 6s eric-wieser/test
eric-wieser/test
October 16, 2023 15:10 6s
feat(measure_theory/order/upper_lower): Order-connected sets in ℝⁿ … continuous integration (mathlib forks) #81608: Commit 4e97610 pushed by bors bot
October 16, 2023 12:40 6s master
master
October 16, 2023 12:40 6s
feat(measure_theory/order/upper_lower): Order-connected sets in ℝⁿ … continuous integration (mathlib forks) #81607: Commit 4e97610 pushed by bors bot
October 16, 2023 09:24 5s staging
staging
October 16, 2023 09:24 5s