Skip to content

Actions: SmaniaD/UnconditionalSchauderBasis

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
75 workflow runs
75 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Update lake-manifest.json Lean build #43: Commit 4c569ed pushed by SmaniaD
7m 4s v0.1.4
v0.1.4
7m 4s
Update lake-manifest.json Lean build #42: Commit 4c569ed pushed by SmaniaD
7m 14s main
main
7m 14s
pages build and deployment pages-build-deployment #29: by SmaniaD
1m 8s main
main
1m 8s
Update UnconditionalSchauderBasis.lean Lean build #41: Commit d0a1462 pushed by SmaniaD
7m 8s main
main
7m 8s
pages build and deployment pages-build-deployment #28: by SmaniaD
1m 3s main
main
1m 3s
improve results on reordering of sequences Lean build #40: Commit b25bab3 pushed by SmaniaD
7m 41s main
main
7m 41s
pages build and deployment pages-build-deployment #27: by SmaniaD
1m 3s main
main
1m 3s
Update lakefile.toml Lean build #39: Commit 8310386 pushed by SmaniaD
6m 58s main
main
6m 58s
pages build and deployment pages-build-deployment #26: by SmaniaD
1m 10s main
main
1m 10s
readme updated Lean build #38: Commit 3f75a7a pushed by SmaniaD
7m 7s main
main
7m 7s
pages build and deployment pages-build-deployment #25: by SmaniaD
1m 3s main
main
1m 3s
Create AGENTS.md Lean build #37: Commit fdf6f82 pushed by SmaniaD
7m 12s main
main
7m 12s
pages build and deployment pages-build-deployment #24: by SmaniaD
49s main
main
49s
Update lakefile.toml Lean build #36: Commit 07621df pushed by SmaniaD
7m 32s v0.1.3
v0.1.3
7m 32s
Update lakefile.toml Lean build #35: Commit 07621df pushed by SmaniaD
7m 10s main
main
7m 10s
pages build and deployment pages-build-deployment #23: by SmaniaD
1m 17s main
main
1m 17s
version specific for real banach spaces deleted Lean build #34: Commit 346cf0d pushed by SmaniaD
7m 20s main
main
7m 20s
pages build and deployment pages-build-deployment #22: by SmaniaD
1m 16s main
main
1m 16s
Update lake-manifest.json Lean build #33: Commit 42eba8a pushed by SmaniaD
7m 7s v0.1.1
v0.1.1
7m 7s
Update lake-manifest.json Lean build #32: Commit 42eba8a pushed by SmaniaD
6m 52s 0.1.1
0.1.1
6m 52s
Update lake-manifest.json Lean build #31: Commit 42eba8a pushed by SmaniaD
7m 28s main
main
7m 28s
pages build and deployment pages-build-deployment #21: by SmaniaD
1m 7s main
main
1m 7s
added unconditional basis with arbitrary index Lean build #30: Commit c932a21 pushed by SmaniaD
7m 3s main
main
7m 3s
pages build and deployment pages-build-deployment #20: by SmaniaD
1m 41s main
main
1m 41s
Update UnconditionalSchauderBasisforR.lean Lean build #29: Commit 0a00c87 pushed by SmaniaD
7m 6s main
main
7m 6s