Skip to content

Actions: pygae/lean-ga

Actions

.github/workflows/lean_build.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean_build.yml
3 workflow runs
3 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
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