Skip to content

Actions: FractalDevTeam/Principia-Fractalis

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
r134 (B5): THE FLAG - P=(0,0) is non-torsion; 1 <= Module.rank Z E37a… Deploy static content to Pages #2056: Commit 5415961 pushed by FractalDevTeam
30s master
master
30s
r134 (B5): THE FLAG - P=(0,0) is non-torsion; 1 <= Module.rank Z E37a… Verify (Lean 4 kernel-only axiom check) #288: Commit 5415961 pushed by FractalDevTeam
1h 0m 41s master
master
1h 0m 41s
pages build and deployment pages-build-deployment #2074: by FractalDevTeam
52s master
master
52s
r133 (B4): the quartic duplication height inequality for 37a1, kappa … Verify (Lean 4 kernel-only axiom check) #287: Commit f633a40 pushed by FractalDevTeam
10m 17s master
master
10m 17s
r133 (B4): the quartic duplication height inequality for 37a1, kappa … Deploy static content to Pages #2055: Commit f633a40 pushed by FractalDevTeam
29s master
master
29s
pages build and deployment pages-build-deployment #2073: by FractalDevTeam
50s master
master
50s
r131 (B3): Bezout identities and quartic size bound for the 37a1 dupl… Deploy static content to Pages #2054: Commit 90ac013 pushed by FractalDevTeam
35s master
master
35s
r131 (B3): Bezout identities and quartic size bound for the 37a1 dupl… Verify (Lean 4 kernel-only axiom check) #286: Commit 90ac013 pushed by FractalDevTeam
9m 16s master
master
9m 16s
pages build and deployment pages-build-deployment #2072: by FractalDevTeam
57s master
master
57s
Non-torsion arc: B1+B2 done, status update Verify (Lean 4 kernel-only axiom check) #285: Commit 4a9c3a7 pushed by FractalDevTeam
9m 13s master
master
9m 13s
Non-torsion arc: B1+B2 done, status update Deploy static content to Pages #2053: Commit 4a9c3a7 pushed by FractalDevTeam
44s master
master
44s
pages build and deployment pages-build-deployment #2071: by FractalDevTeam
56s master
master
56s
r132 (B2): duplication formula for 37a1 - x(2P) = f(x)/g(x), no ratio… Verify (Lean 4 kernel-only axiom check) #284: Commit 4564f97 pushed by FractalDevTeam
16s master
master
16s
r132 (B2): duplication formula for 37a1 - x(2P) = f(x)/g(x), no ratio… Deploy static content to Pages #2052: Commit 4564f97 pushed by FractalDevTeam
29s master
master
29s
pages build and deployment pages-build-deployment #2070: by FractalDevTeam
23s master
master
23s
Non-torsion arc: ground truth computed and verified (Bezout identitie… Deploy static content to Pages #2051: Commit 1f8234f pushed by FractalDevTeam
25s master
master
25s
Non-torsion arc: ground truth computed and verified (Bezout identitie… Verify (Lean 4 kernel-only axiom check) #283: Commit 1f8234f pushed by FractalDevTeam
9m 2s master
master
9m 2s
pages build and deployment pages-build-deployment #2069: by FractalDevTeam
49s master
master
49s
r130 (B1): naive height on Q + quartic-growth driver; non-torsion arc… Deploy static content to Pages #2050: Commit 2c638c0 pushed by FractalDevTeam
23s master
master
23s
r130 (B1): naive height on Q + quartic-growth driver; non-torsion arc… Verify (Lean 4 kernel-only axiom check) #282: Commit 2c638c0 pushed by FractalDevTeam
3m 56s master
master
3m 56s
pages build and deployment pages-build-deployment #2068: by FractalDevTeam
55s master
master
55s
r129: non-torsion point implies Module.rank >= 1 - first real stone o… Deploy static content to Pages #2049: Commit c7c883c pushed by FractalDevTeam
31s master
master
31s
r129: non-torsion point implies Module.rank >= 1 - first real stone o… Verify (Lean 4 kernel-only axiom check) #281: Commit c7c883c pushed by FractalDevTeam
1h 0m 36s master
master
1h 0m 36s
pages build and deployment pages-build-deployment #2067: by FractalDevTeam
54s master
master
54s
r128: nine-tuple alpha-skeleton uniqueness - Perelman and BSD anchors… Verify (Lean 4 kernel-only axiom check) #280: Commit 982f963 pushed by FractalDevTeam
12m 22s master
master
12m 22s