Skip to content

Actions: pygae/lean-ga

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
100 workflow runs
100 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
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
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
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
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
October 25, 2023 15:11 11m 9s
Minor fixes for Clifford algebra definitions
.github/workflows/lean_build.yml #376: Commit b54cdda pushed by utensil
August 25, 2023 05:13 11m 26s blueprint
August 25, 2023 05:13 11m 26s
sorry-free
.github/workflows/lean_doc.yml #266: Commit 0947a6d pushed by eric-wieser
August 20, 2023 12:50 15m 57s master
August 20, 2023 12:50 15m 57s
sorry-free
.github/workflows/lean_build.yml #375: Commit 0947a6d pushed by eric-wieser
August 20, 2023 12:50 3m 44s master
August 20, 2023 12:50 3m 44s
expand the laurents example
.github/workflows/lean_build.yml #374: Commit 3a06d05 pushed by eric-wieser
August 20, 2023 11:47 7m 34s master
August 20, 2023 11:47 7m 34s
expand the laurents example
.github/workflows/lean_doc.yml #265: Commit 3a06d05 pushed by eric-wieser
August 20, 2023 11:47 17m 48s master
August 20, 2023 11:47 17m 48s
tweak
.github/workflows/lean_build.yml #373: Commit 55110dd pushed by eric-wieser
August 4, 2023 11:31 6m 56s eric-wieser/tensor_base_change
August 4, 2023 11:31 6m 56s
tweak
.github/workflows/lean_doc.yml #264: Commit 55110dd pushed by eric-wieser
August 4, 2023 11:31 25m 51s eric-wieser/tensor_base_change
August 4, 2023 11:31 25m 51s
missing file
.github/workflows/lean_doc.yml #263: Commit 88af79f pushed by eric-wieser
August 4, 2023 11:30 18m 43s eric-wieser/tensor_base_change
August 4, 2023 11:30 18m 43s
missing file
.github/workflows/lean_build.yml #372: Commit 88af79f pushed by eric-wieser
August 4, 2023 11:30 7m 50s eric-wieser/tensor_base_change
August 4, 2023 11:30 7m 50s
fix docstrings
.github/workflows/lean_doc.yml #262: Commit f6e5a6f pushed by eric-wieser
August 4, 2023 11:19 9m 1s eric-wieser/tensor_base_change
August 4, 2023 11:19 9m 1s
fix docstrings
.github/workflows/lean_build.yml #371: Commit f6e5a6f pushed by eric-wieser
August 4, 2023 11:19 1m 43s eric-wieser/tensor_base_change
August 4, 2023 11:19 1m 43s
complexification of reverse is also trivial
.github/workflows/lean_doc.yml #261: Commit c65cc7b pushed by eric-wieser
August 4, 2023 08:55 5m 52s eric-wieser/tensor_base_change
August 4, 2023 08:55 5m 52s
complexification of reverse is also trivial
.github/workflows/lean_build.yml #370: Commit c65cc7b pushed by eric-wieser
August 4, 2023 08:55 1m 42s eric-wieser/tensor_base_change
August 4, 2023 08:55 1m 42s
involution lemma
.github/workflows/lean_doc.yml #260: Commit f7917e3 pushed by eric-wieser
August 3, 2023 20:56 21m 28s eric-wieser/tensor_base_change
August 3, 2023 20:56 21m 28s
involution lemma
.github/workflows/lean_build.yml #369: Commit f7917e3 pushed by eric-wieser
August 3, 2023 20:56 9m 5s eric-wieser/tensor_base_change
August 3, 2023 20:56 9m 5s
add the exterior algebra functor too for good measure
.github/workflows/lean_build.yml #368: Commit 5a4d578 pushed by eric-wieser
July 28, 2023 18:30 5m 15s master
July 28, 2023 18:30 5m 15s
add the exterior algebra functor too for good measure
.github/workflows/lean_doc.yml #259: Commit 5a4d578 pushed by eric-wieser
July 28, 2023 18:30 19m 33s master
July 28, 2023 18:30 19m 33s
add terminal object
.github/workflows/lean_build.yml #367: Commit 7657a75 pushed by eric-wieser
July 27, 2023 13:26 6m 53s master
July 27, 2023 13:26 6m 53s
add terminal object
.github/workflows/lean_doc.yml #258: Commit 7657a75 pushed by eric-wieser
July 27, 2023 13:26 15m 42s master
July 27, 2023 13:26 15m 42s
fix build error
.github/workflows/lean_doc.yml #257: Commit 5704223 pushed by eric-wieser
July 27, 2023 12:23 19m 29s master
July 27, 2023 12:23 19m 29s