Skip to content

Actions: pygae/lean-ga

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Base change (and complexification) of quadratic forms .github/workflows/lean_build.yml #379: Pull request #31 synchronize by eric-wieser
October 25, 2023 15:12 9m 0s eric-wieser/tensor_base_change
eric-wieser/tensor_base_change
October 25, 2023 15:12 9m 0s
Merge branch 'master' into eric-wieser/tensor_base_change .github/workflows/lean_build.yml #378: Commit 8b59e00 pushed by eric-wieser
October 25, 2023 15:12 10m 27s eric-wieser/tensor_base_change
eric-wieser/tensor_base_change
October 25, 2023 15:12 10m 27s
Merge branch 'master' into eric-wieser/tensor_base_change .github/workflows/lean_doc.yml #268: Commit 8b59e00 pushed by eric-wieser
October 25, 2023 15:12 20m 28s eric-wieser/tensor_base_change
eric-wieser/tensor_base_change
October 25, 2023 15:12 20m 28s
Add mathlib link .github/workflows/lean_doc.yml #267: Commit a7708f1 pushed by eric-wieser
October 25, 2023 15:11 23m 32s eric-wieser/tensor_base_change
eric-wieser/tensor_base_change
October 25, 2023 15:11 23m 32s
Add mathlib link .github/workflows/lean_build.yml #377: Commit a7708f1 pushed by eric-wieser
October 25, 2023 15:11 11m 9s eric-wieser/tensor_base_change
eric-wieser/tensor_base_change
October 25, 2023 15:11 11m 9s