Skip to content

Actions: eric-wieser/lean-matrix-cookbook

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
54 workflow runs
54 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