Skip to content

Actions: Tragicus/analysis

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
51 workflow runs
51 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

review .github/workflows/generate_docs.yml #51: Commit e09f221 pushed by Tragicus
6h 5m 5s linear_findim_continuous
linear_findim_continuous
6h 5m 5s
review .github/workflows/generate_docs.yml #50: Commit c7c7aa1 pushed by Tragicus
20m 59s linear_findim_continuous
linear_findim_continuous
20m 59s
review .github/workflows/generate_docs.yml #49: Commit eb94092 pushed by Tragicus
15m 44s linear_findim_continuous
linear_findim_continuous
15m 44s
review .github/workflows/generate_docs.yml #48: Commit f678a8e pushed by Tragicus
23m 30s linear_findim_continuous
linear_findim_continuous
23m 30s
fix imports .github/workflows/generate_docs.yml #47: Commit 6f03a34 pushed by CohenCyril
47m 59s linear_findim_continuous
linear_findim_continuous
47m 59s
++pnt, review up to bertrand .github/workflows/generate_docs.yml #46: Commit 15021c5 pushed by Tragicus
28m 28s mertens-wb
mertens-wb
28m 28s
fix imports .github/workflows/generate_docs.yml #45: Commit 1a0fa98 pushed by Tragicus
42m 14s linear_findim_continuous
linear_findim_continuous
42m 14s
norm interface .github/workflows/generate_docs.yml #44: Commit 994f950 pushed by Tragicus
23m 12s linear_findim_continuous
linear_findim_continuous
23m 12s
wip .github/workflows/generate_docs.yml #43: Commit a5fdedd pushed by Tragicus
16m 15s sets
sets
16m 15s
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