Skip to content

Actions: pygae/lean-ga

Actions

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

wip .github/workflows/lean_build.yml #335: Commit 33c76fd pushed by eric-wieser
July 20, 2023 17:12 1m 39s tensor_inner_product-wip
tensor_inner_product-wip
July 20, 2023 17:12 1m 39s
push away the sorry .github/workflows/lean_doc.yml #237: Commit 2c96457 pushed by eric-wieser
July 19, 2023 22:31 15m 33s master
master
July 19, 2023 22:31 15m 33s
push away the sorry .github/workflows/lean_build.yml #334: Commit 2c96457 pushed by eric-wieser
July 19, 2023 22:31 3m 15s master
master
July 19, 2023 22:31 3m 15s
wip tensor inner product .github/workflows/lean_build.yml #333: Commit 959b8bb pushed by eric-wieser
July 19, 2023 22:14 3m 37s master
master
July 19, 2023 22:14 3m 37s
wip tensor inner product .github/workflows/lean_doc.yml #236: Commit 959b8bb pushed by eric-wieser
July 19, 2023 22:14 16m 20s master
master
July 19, 2023 22:14 16m 20s
fix docstring .github/workflows/lean_doc.yml #235: Commit 8ffd8dd pushed by eric-wieser
July 19, 2023 16:44 20m 8s master
master
July 19, 2023 16:44 20m 8s
fix docstring .github/workflows/lean_build.yml #332: Commit 8ffd8dd pushed by eric-wieser
July 19, 2023 16:44 3m 1s master
master
July 19, 2023 16:44 3m 1s
golf .github/workflows/lean_build.yml #331: Commit 8590dab pushed by eric-wieser
July 19, 2023 16:41 4m 12s master
master
July 19, 2023 16:41 4m 12s
golf .github/workflows/lean_doc.yml #234: Commit 8590dab pushed by eric-wieser
July 19, 2023 16:41 19m 51s master
master
July 19, 2023 16:41 19m 51s
add some more isometric maps .github/workflows/lean_doc.yml #233: Commit 2981734 pushed by eric-wieser
July 19, 2023 16:18 21m 0s master
master
July 19, 2023 16:18 21m 0s
add some more isometric maps .github/workflows/lean_build.yml #330: Commit 2981734 pushed by eric-wieser
July 19, 2023 16:18 3m 14s master
master
July 19, 2023 16:18 3m 14s
tweak docstrings .github/workflows/lean_build.yml #329: Commit 8f6a6de pushed by eric-wieser
July 18, 2023 06:37 3m 0s master
master
July 18, 2023 06:37 3m 0s
tweak docstrings .github/workflows/lean_doc.yml #232: Commit 8f6a6de pushed by eric-wieser
July 18, 2023 06:37 14m 51s master
master
July 18, 2023 06:37 14m 51s
initial object and forgetful instances .github/workflows/lean_doc.yml #231: Commit 0c0ba14 pushed by eric-wieser
July 18, 2023 06:36 15m 14s master
master
July 18, 2023 06:36 15m 14s
initial object and forgetful instances .github/workflows/lean_build.yml #328: Commit 0c0ba14 pushed by eric-wieser
July 18, 2023 06:36 3m 3s master
master
July 18, 2023 06:36 3m 3s
another trivial definition .github/workflows/lean_doc.yml #230: Commit e7fe6ca pushed by eric-wieser
July 17, 2023 21:13 19m 0s master
master
July 17, 2023 21:13 19m 0s
another trivial definition .github/workflows/lean_build.yml #327: Commit e7fe6ca pushed by eric-wieser
July 17, 2023 21:13 3m 4s master
master
July 17, 2023 21:13 3m 4s
fix name .github/workflows/lean_doc.yml #229: Commit 1c375e9 pushed by eric-wieser
July 17, 2023 20:55 16m 43s master
master
July 17, 2023 20:55 16m 43s
fix name .github/workflows/lean_build.yml #326: Commit 1c375e9 pushed by eric-wieser
July 17, 2023 20:55 2m 54s master
master
July 17, 2023 20:55 2m 54s
better docstrings .github/workflows/lean_build.yml #325: Commit 7e94d7c pushed by eric-wieser
July 17, 2023 20:45 2m 56s master
master
July 17, 2023 20:45 2m 56s
better docstrings .github/workflows/lean_doc.yml #228: Commit 7e94d7c pushed by eric-wieser
July 17, 2023 20:45 16m 5s master
master
July 17, 2023 20:45 16m 5s
add some basic category theory .github/workflows/lean_build.yml #324: Commit 44d060f pushed by eric-wieser
July 17, 2023 18:35 3m 32s master
master
July 17, 2023 18:35 3m 32s
add some basic category theory .github/workflows/lean_doc.yml #227: Commit 44d060f pushed by eric-wieser
July 17, 2023 18:35 16m 15s master
master
July 17, 2023 18:35 16m 15s
Update Lean and mathlib .github/workflows/lean_doc.yml #226: Commit b01a1d5 pushed by eric-wieser
July 17, 2023 17:55 20m 4s master
master
July 17, 2023 17:55 20m 4s
Update Lean and mathlib .github/workflows/lean_build.yml #323: Commit b01a1d5 pushed by eric-wieser
July 17, 2023 17:55 5m 21s master
master
July 17, 2023 17:55 5m 21s