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
17 workflow runs
17 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 #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