Skip to content

Actions: Tragicus/analysis

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
77 workflow runs
77 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
normed vector types, norm interface, norm equivalence thm, continuity… .github/workflows/generate_docs.yml #77: Commit 75488d9 pushed by Tragicus
40m 19s linear_findim_continuous
linear_findim_continuous
40m 19s
Update classical/unstable.v .github/workflows/generate_docs.yml #76: Commit ed39cd3 pushed by affeldt-aist
40m 11s linear_findim_continuous
linear_findim_continuous
40m 11s
discrete and continuous abel transforms .github/workflows/generate_docs.yml #75: Commit d27d6e6 pushed by Tragicus
40m 47s abel
abel
40m 47s
discrete and continuous abel transforms .github/workflows/generate_docs.yml #74: Commit b15fa59 pushed by Tragicus
16m 9s abel
abel
16m 9s
discrete and continuous abel transforms .github/workflows/generate_docs.yml #73: Commit ca726a0 pushed by Tragicus
42m 18s abel
abel
42m 18s
Update theories/showcase/pnt.v .github/workflows/generate_docs.yml #72: Commit 0287558 pushed by affeldt-aist
40m 4s divsuminvprim
divsuminvprim
40m 4s
Update theories/showcase/pnt.v .github/workflows/generate_docs.yml #71: Commit 0be3a7d pushed by affeldt-aist
39m 9s divsuminvprim
divsuminvprim
39m 9s
Update theories/showcase/pnt.v .github/workflows/generate_docs.yml #70: Commit 6e55d35 pushed by affeldt-aist
39m 53s divsuminvprim
divsuminvprim
39m 53s
Update theories/showcase/pnt.v .github/workflows/generate_docs.yml #69: Commit 4071c7c pushed by affeldt-aist
40m 11s divsuminvprim
divsuminvprim
40m 11s
Update theories/showcase/pnt.v .github/workflows/generate_docs.yml #68: Commit fdb8f99 pushed by affeldt-aist
40m 25s divsuminvprim
divsuminvprim
40m 25s
Update theories/showcase/pnt.v .github/workflows/generate_docs.yml #67: Commit fec5a76 pushed by affeldt-aist
39m 38s divsuminvprim
divsuminvprim
39m 38s
Apply suggestion from @affeldt-aist .github/workflows/generate_docs.yml #66: Commit 2a750a7 pushed by affeldt-aist
39m 9s divsuminvprim
divsuminvprim
39m 9s
Apply suggestion from @affeldt-aist .github/workflows/generate_docs.yml #65: Commit bff24cb pushed by affeldt-aist
39m 49s divsuminvprim
divsuminvprim
39m 49s
Apply suggestion from @affeldt-aist .github/workflows/generate_docs.yml #64: Commit f8e7ab8 pushed by affeldt-aist
39m 32s divsuminvprim
divsuminvprim
39m 32s
Apply suggestion from @affeldt-aist .github/workflows/generate_docs.yml #63: Commit f3e4ed4 pushed by affeldt-aist
39m 14s divsuminvprim
divsuminvprim
39m 14s
Apply suggestion from @affeldt-aist .github/workflows/generate_docs.yml #62: Commit 850d4a6 pushed by affeldt-aist
23m 29s divsuminvprim
divsuminvprim
23m 29s
Apply suggestion from @affeldt-aist .github/workflows/generate_docs.yml #61: Commit ae3cb22 pushed by affeldt-aist
23m 56s divsuminvprim
divsuminvprim
23m 56s
golfing dvg_sum_inv_prim_seq .github/workflows/generate_docs.yml #60: Commit 89ba871 pushed by Tragicus
42m 57s divsuminvprim
divsuminvprim
42m 57s
golfing dvg_sum_inv_prim_seq .github/workflows/generate_docs.yml #59: Commit d844254 pushed by Tragicus
44m 21s divsuminvprim
divsuminvprim
44m 21s
rebase .github/workflows/generate_docs.yml #58: Commit 221c834 pushed by Tragicus
38m 29s linear_findim_continuous
linear_findim_continuous
38m 29s
rebase .github/workflows/generate_docs.yml #57: Commit d47369b pushed by Tragicus
25m 58s linear_findim_continuous
linear_findim_continuous
25m 58s
minor optimizations .github/workflows/generate_docs.yml #56: Commit f09f8d6 pushed by Tragicus
28m 9s mertens
mertens
28m 9s
fix header comment .github/workflows/generate_docs.yml #55: Commit f46d3ba pushed by Tragicus
6h 5m 6s linear_findim_continuous
linear_findim_continuous
6h 5m 6s
stop exposing max_space and max_norm .github/workflows/generate_docs.yml #54: Commit e75500a pushed by Tragicus
6h 5m 6s linear_findim_continuous
linear_findim_continuous
6h 5m 6s
optimize max_norm .github/workflows/generate_docs.yml #53: Commit bb7ab14 pushed by Tragicus
17m 11s linear_findim_continuous
linear_findim_continuous
17m 11s