Skip to content

Actions: Tragicus/analysis

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
42 workflow runs
42 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

linting .github/workflows/generate_docs.yml #42: Commit 99d840c pushed by affeldt-aist
27m 37s linear_findim_continuous
linear_findim_continuous
27m 37s
multilinear .github/workflows/generate_docs.yml #41: Commit 1d50b75 pushed by GabriellaClemente
18m 23s diff-calculus
diff-calculus
18m 23s
commit .github/workflows/generate_docs.yml #40: Commit 03b373e pushed by GabriellaClemente
18m 32s diff-calculus
diff-calculus
18m 32s
proof .github/workflows/generate_docs.yml #39: Commit 1444ed1 pushed by Tragicus
18m 19s diff-calculus
diff-calculus
18m 19s
wip derive.v ++ start tensor.v .github/workflows/generate_docs.yml #38: Commit 5201b01 pushed by Tragicus
22m 12s diff-calculus
diff-calculus
22m 12s
wip .github/workflows/generate_docs.yml #37: Commit 6997ff1 pushed by Tragicus
16m 6s sets
sets
16m 6s
wip .github/workflows/generate_docs.yml #36: Commit 993432e pushed by Tragicus
17m 1s sets
sets
17m 1s
LinearContinuous .github/workflows/generate_docs.yml #35: Commit 55f3fb1 pushed by Tragicus
46m 38s diff-calculus
diff-calculus
46m 38s
wip .github/workflows/generate_docs.yml #34: Commit bfac2a2 pushed by Tragicus
29m 35s pnt
pnt
29m 35s
wip .github/workflows/generate_docs.yml #33: Commit f8fbd0a pushed by Tragicus
27m 13s pnt
pnt
27m 13s
review .github/workflows/generate_docs.yml #32: Commit 5515349 pushed by Tragicus
25m 8s divsuminvprim
divsuminvprim
25m 8s
Completed proof of Mertens second theorem .github/workflows/generate_docs.yml #31: Commit 3a4fc0b pushed by Tragicus
27m 50s mertens
mertens
27m 50s
littleoE0 .github/workflows/generate_docs.yml #30: Commit f27c0d8 pushed by affeldt-aist
28m 47s littleoE0
littleoE0
28m 47s
normed vector types, infinite norm, norm equivalence thm, continuity … .github/workflows/generate_docs.yml #29: Commit 3e76ee7 pushed by Tragicus
27m 27s linear_findim_continuous
linear_findim_continuous
27m 27s
normed vector types, infinite norm, norm equivalence thm, continuity … .github/workflows/generate_docs.yml #28: Commit cc82ec8 pushed by Tragicus
27m 46s linear_findim_continuous
linear_findim_continuous
27m 46s
nitpicks .github/workflows/generate_docs.yml #27: Commit 5562031 pushed by affeldt-aist
28m 53s divsuminvprim
divsuminvprim
28m 53s
rename within_continuous_withinNx to continuous_injective_withinNx .github/workflows/generate_docs.yml #26: Commit a33e561 pushed by Tragicus
23m 58s withinNx
withinNx
23m 58s
use contra_neq .github/workflows/generate_docs.yml #25: Commit 6f3e3f5 pushed by affeldt-aist
26m 52s withinNx
withinNx
26m 52s
continuous_big .github/workflows/generate_docs.yml #24: Commit 1c8444f pushed by Tragicus
27m 40s continuous_big
continuous_big
27m 40s
next_prime .github/workflows/generate_docs.yml #23: Commit de39db2 pushed by Tragicus
28m 10s divsuminvprim
divsuminvprim
28m 10s
within_continuous_withinNx .github/workflows/generate_docs.yml #22: Commit 635a275 pushed by Tragicus
24m 47s withinNx
withinNx
24m 47s
within_continuous_withinNx .github/workflows/generate_docs.yml #21: Commit 0e922f2 pushed by Tragicus
24m 33s withinNx
withinNx
24m 33s
within_continuous_withinNx .github/workflows/generate_docs.yml #20: Commit 70d7ad1 pushed by Tragicus
26m 51s withinNx
withinNx
26m 51s
continuous_big .github/workflows/generate_docs.yml #19: Commit f5be604 pushed by Tragicus
25m 15s continuous_big
continuous_big
25m 15s
littleoE0 .github/workflows/generate_docs.yml #18: Commit 402bd42 pushed by Tragicus
27m 7s littleoE0
littleoE0
27m 7s