Skip to content

Actions: eric-wieser/lean-matrix-cookbook

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
73 workflow runs
73 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

remove a partial proof ci #150: Commit 0ca656c pushed by eric-wieser
January 7, 2024 00:26 1m 26s master
master
January 7, 2024 00:26 1m 26s
two more lemma statements ci #149: Commit 6ccd292 pushed by eric-wieser
January 7, 2024 00:24 1m 21s master
master
January 7, 2024 00:24 1m 21s
more statements ci #148: Commit 91a5a1b pushed by eric-wieser
January 7, 2024 00:15 1m 33s master
master
January 7, 2024 00:15 1m 33s
add one lemma ci #147: Commit 37dec65 pushed by eric-wieser
January 6, 2024 23:25 1m 31s master
master
January 6, 2024 23:25 1m 31s
Fix the readme link to work on reservoir ci #146: Commit 6b3a660 pushed by eric-wieser
December 13, 2023 20:45 1m 22s master
master
December 13, 2023 20:45 1m 22s
bump to lean 4.3.0 ci #145: Commit 29462c9 pushed by eric-wieser
December 13, 2023 20:43 1m 59s master
master
December 13, 2023 20:43 1m 59s
Bump mathlib and lean version ci #144: Commit ef8e49c pushed by eric-wieser
October 22, 2023 22:33 2m 17s master
master
October 22, 2023 22:33 2m 17s
fix progressbar script ci #143: Commit aae6e6d pushed by eric-wieser
October 22, 2023 22:24 2m 16s master
master
October 22, 2023 22:24 2m 16s
chore: bump lean-toolchain to v4.2.0-rc4 ci #142: Pull request #11 opened by kim-em
October 21, 2023 22:27 56s kim-em:patch-1
kim-em:patch-1
October 21, 2023 22:27 56s
try again ci #141: Commit 7b3e1e0 pushed by eric-wieser
October 19, 2023 11:07 2m 12s master
master
October 19, 2023 11:07 2m 12s
try to use .git-blame-ignore-revs ci #140: Commit 806f237 pushed by eric-wieser
October 19, 2023 11:05 2m 46s master
master
October 19, 2023 11:05 2m 46s
bump to the latest mathlib4 ci #139: Commit d52470a pushed by eric-wieser
October 19, 2023 11:03 2m 51s master
master
October 19, 2023 11:03 2m 51s
bump to the latest mathlib4 ci #138: Commit 08679ec pushed by eric-wieser
October 19, 2023 11:00 2m 15s master
master
October 19, 2023 11:00 2m 15s
bump to the latest mathlib4 ci #137: Commit d52470a pushed by eric-wieser
October 19, 2023 10:55 2m 20s master
master
October 19, 2023 10:55 2m 20s
Merge in mathport output. This is now a Lean 4 project! ci #136: Commit e65870d pushed by eric-wieser
October 19, 2023 10:27 2m 32s master
master
October 19, 2023 10:27 2m 32s
add back readme ci #135: Commit 92e66f1 pushed by eric-wieser
October 11, 2023 23:01 2m 10s lean4
lean4
October 11, 2023 23:01 2m 10s
final CI fix ci #134: Commit ae3a677 pushed by eric-wieser
October 11, 2023 22:55 2m 20s lean4
lean4
October 11, 2023 22:55 2m 20s
ci fixes ci #133: Commit a1e552e pushed by eric-wieser
October 11, 2023 22:50 2m 5s lean4
lean4
October 11, 2023 22:50 2m 5s
fix ci #132: Commit 600b4f5 pushed by eric-wieser
October 11, 2023 22:47 2m 39s lean4
lean4
October 11, 2023 22:47 2m 39s
fix ci #131: Commit b07ef33 pushed by eric-wieser
October 11, 2023 22:44 1m 54s lean4
lean4
October 11, 2023 22:44 1m 54s
add back progress bar CI ci #130: Commit 32d2eb3 pushed by eric-wieser
October 11, 2023 22:41 2m 22s lean4
lean4
October 11, 2023 22:41 2m 22s
basic CI ci #1: Commit 0a481d6 pushed by eric-wieser
October 11, 2023 16:22 2m 26s lean4
lean4
October 11, 2023 16:22 2m 26s
Update mathlib3 one last time (to port-complete) ci #129: Commit 95f789f pushed by eric-wieser
October 11, 2023 14:53 4m 4s master
master
October 11, 2023 14:53 4m 4s