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
pages build and deployment pages-build-deployment #1831: by FractalDevTeam
Queued master
master
Queued
Verify (Lean 4 kernel-only axiom check) Verify (Lean 4 kernel-only axiom check) #43: by FractalDevTeam
In progress master
master
In progress
Deploy static content to Pages Deploy static content to Pages #1811: by FractalDevTeam
In progress master
master
In progress
paper: second polish batch — anchor pinning and citation distinctions Verify (Lean 4 kernel-only axiom check) #42: Commit 73169ec pushed by FractalDevTeam
Pending master
master
Pending
paper: second polish batch — anchor pinning and citation distinctions Deploy static content to Pages #1810: Commit 73169ec pushed by FractalDevTeam
30s master
master
30s
pages build and deployment pages-build-deployment #1830: by FractalDevTeam
2m 13s master
master
2m 13s
pages build and deployment pages-build-deployment #1829: by FractalDevTeam
48s master
master
48s
paper: three substrate-doctrine polishes Deploy static content to Pages #1809: Commit 3b2e001 pushed by FractalDevTeam
37s master
master
37s
paper: three substrate-doctrine polishes Verify (Lean 4 kernel-only axiom check) #41: Commit 3b2e001 pushed by FractalDevTeam
8m 52s master
master
8m 52s
pages build and deployment pages-build-deployment #1828: by FractalDevTeam
9m 57s master
master
9m 57s
paper: restructure §4 so cosmological constant precedes look-elsewhere Deploy static content to Pages #1808: Commit 114f9b3 pushed by FractalDevTeam
1m 28s master
master
1m 28s
paper: restructure §4 so cosmological constant precedes look-elsewhere Verify (Lean 4 kernel-only axiom check) #40: Commit 114f9b3 pushed by FractalDevTeam
20m 46s master
master
20m 46s
pages build and deployment pages-build-deployment #1827: by FractalDevTeam
1m 28s master
master
1m 28s
Section 1: insert paragraph surfacing the two strongest physical cons… Verify (Lean 4 kernel-only axiom check) #39: Commit 08d9476 pushed by FractalDevTeam
9m 35s master
master
9m 35s
Section 1: insert paragraph surfacing the two strongest physical cons… Deploy static content to Pages #1807: Commit 08d9476 pushed by FractalDevTeam
2m 33s master
master
2m 33s
pages build and deployment pages-build-deployment #1826: by FractalDevTeam
2m 31s master
master
2m 31s
Abstract restructure: surface the cosmological-constant closed form a… Verify (Lean 4 kernel-only axiom check) #38: Commit adc92a2 pushed by FractalDevTeam
1m 25s master
master
1m 25s
Abstract restructure: surface the cosmological-constant closed form a… Deploy static content to Pages #1806: Commit adc92a2 pushed by FractalDevTeam
2m 36s master
master
2m 36s
pages build and deployment pages-build-deployment #1825: by FractalDevTeam
1m 15s master
master
1m 15s
Substrate spectral gap CLOSED FORM: lambda_0(P) - lambda_0(NP) = pi*(… Verify (Lean 4 kernel-only axiom check) #37: Commit 5848ed0 pushed by FractalDevTeam
1h 0m 38s master
master
1h 0m 38s
Substrate spectral gap CLOSED FORM: lambda_0(P) - lambda_0(NP) = pi*(… Deploy static content to Pages #1805: Commit 5848ed0 pushed by FractalDevTeam
2m 37s master
master
2m 37s
pages build and deployment pages-build-deployment #1824: by FractalDevTeam
2m 41s master
master
2m 41s
More new math: cross-class structural identities on the lambda_0 spec… Deploy static content to Pages #1804: Commit f44c9a1 pushed by FractalDevTeam
1m 38s master
master
1m 38s
More new math: cross-class structural identities on the lambda_0 spec… Verify (Lean 4 kernel-only axiom check) #36: Commit f44c9a1 pushed by FractalDevTeam
15m 3s master
master
15m 3s
pages build and deployment pages-build-deployment #1823: by FractalDevTeam
1m 36s master
master
1m 36s