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

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
102 workflow run results
102 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge master into YK-card-fiber-eq (using imerge) continuous integration #121029: Commit bd29536 pushed by urkud
February 11, 2024 05:58 17m 31s YK-card-fiber-eq
YK-card-fiber-eq
February 11, 2024 05:58 17m 31s
higher derivatives of a mutlilinear map continuous integration #121028: Commit edf12c3 pushed by smorel394
December 20, 2023 08:51 5s MultilinearMapContDiff
MultilinearMapContDiff
December 20, 2023 08:51 5s
Merge remote-tracking branch 'origin/master' into MultilinearMapContDiff continuous integration #121027: Commit e3fc648 pushed by smorel394
December 20, 2023 00:32 4s MultilinearMapContDiff
MultilinearMapContDiff
December 20, 2023 00:32 4s
Merge branch 'master' into YK-cont-alternating continuous integration #121026: Commit 2851eea pushed by urkud
November 28, 2023 16:05 1h 47m 57s YK-cont-alternating
YK-cont-alternating
November 28, 2023 16:05 1h 47m 57s
Merge branch 'master' into YK-cont-alternating continuous integration #121025: Commit 991d1b5 pushed by urkud
November 28, 2023 16:02 3m 11s YK-cont-alternating
YK-cont-alternating
November 28, 2023 16:02 3m 11s
Updated normal correspondence code to Lean 4 continuous integration #121024: Commit 6e16239 pushed by ChimiSeanGa
November 27, 2023 16:49 1h 47m 42s normal_correspondence
normal_correspondence
November 27, 2023 16:49 1h 47m 42s
feat(data/{list,multiset,finset}/*): attach and filter lemmas (#1… continuous integration #121023: Commit 65a1391 pushed by hmonroe
November 22, 2023 01:59 1h 5m 29s hmonroe_computability
hmonroe_computability
November 22, 2023 01:59 1h 5m 29s
fix continuous integration #121022: Commit b6a69bf pushed by eric-wieser
November 12, 2023 12:55 1h 43m 49s eric-wieser/exp-rat
eric-wieser/exp-rat
November 12, 2023 12:55 1h 43m 49s
Merge remote-tracking branch 'origin/master' into eric-wieser/exp-rat continuous integration #121021: Commit b275b43 pushed by eric-wieser
November 12, 2023 12:45 15m 10s eric-wieser/exp-rat
eric-wieser/exp-rat
November 12, 2023 12:45 15m 10s
Merge remote-tracking branch 'origin/master' into kneser continuous integration #121020: Commit c2a7197 pushed by YaelDillies
October 31, 2023 15:30 1h 22m 20s kneser
kneser
October 31, 2023 15:30 1h 22m 20s
bump continuous integration #121019: Commit c1f8e2b pushed by YaelDillies
October 30, 2023 22:52 1h 14m 0s erdos_ginzburg_ziv
erdos_ginzburg_ziv
October 30, 2023 22:52 1h 14m 0s
feat(data/{list,multiset,finset}/*): attach and filter lemmas (#1… continuous integration #121018: Commit 65a1391 pushed by bors bot
October 30, 2023 18:28 7m 47s master
master
October 30, 2023 18:28 7m 47s
Snapshot continuous integration #121017: Commit 969703c pushed by urkud
October 29, 2023 14:57 3h 4m 37s log-tcd2
log-tcd2
October 29, 2023 14:57 3h 4m 37s
bump continuous integration #121016: Commit 05cb65f pushed by YaelDillies
October 23, 2023 07:19 2h 9m 20s locally_linear_graph
locally_linear_graph
October 23, 2023 07:19 2h 9m 20s
Merge remote-tracking branch 'origin/master' into locally_linear_graph continuous integration #121015: Commit d10f1c7 pushed by YaelDillies
October 23, 2023 07:12 11m 22s locally_linear_graph
locally_linear_graph
October 23, 2023 07:12 11m 22s
feat(combinatorics/simple_graph): More clique lemmas (#19203) continuous integration #121014: Commit 3365b20 pushed by bors bot
October 22, 2023 23:25 6m 14s master
master
October 22, 2023 23:25 6m 14s
linter continuous integration #121013: Commit ae455e7 pushed by b-mehta
October 22, 2023 15:46 1h 9m 11s exponential-ramsey
exponential-ramsey
October 22, 2023 15:46 1h 9m 11s
Merge branch 'master' into polyrith-radical continuous integration #121012: Commit 36ca392 pushed by robertylewis
October 18, 2023 01:48 1h 56m 40s polyrith-radical
polyrith-radical
October 18, 2023 01:48 1h 56m 40s
linter continuous integration #121011: Commit bb2cf53 pushed by b-mehta
October 16, 2023 19:49 1h 14m 23s exponential-ramsey
exponential-ramsey
October 16, 2023 19:49 1h 14m 23s
move stuff around more continuous integration #121010: Commit 8e10cac pushed by b-mehta
October 16, 2023 18:34 1h 13m 40s exponential-ramsey
exponential-ramsey
October 16, 2023 18:34 1h 13m 40s
feat(measure_theory/order/upper_lower): Order-connected sets in ℝⁿ … continuous integration #121009: Commit b1abe23 pushed by eric-wieser
October 16, 2023 15:12 2h 17m 1s master
master
October 16, 2023 15:12 2h 17m 1s
feat(measure_theory/order/upper_lower): Order-connected sets in ℝⁿ … continuous integration #121008: Commit b1abe23 pushed by eric-wieser
October 16, 2023 15:10 3h 53m 56s eric-wieser/test
eric-wieser/test
October 16, 2023 15:10 3h 53m 56s
feat(measure_theory/order/upper_lower): Order-connected sets in ℝⁿ … continuous integration #121007: Commit 4e97610 pushed by bors bot
October 16, 2023 12:40 6m 10s master
master
October 16, 2023 12:40 6m 10s
forward pointer continuous integration #121006: Commit 0d69e7c pushed by YaelDillies
October 16, 2023 09:23 1h 7m 46s ord_connected_measurable
ord_connected_measurable
October 16, 2023 09:23 1h 7m 46s
revert hull continuous integration #121005: Commit dbb6329 pushed by YaelDillies
October 13, 2023 13:14 11m 20s sperner-again
sperner-again
October 13, 2023 13:14 11m 20s