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
Papers/README.md: extended revision-summary with r4-r6 changes for re… Verify (Lean 4 kernel-only axiom check) #108: Commit ca5086a pushed by FractalDevTeam
52m 45s master
master
52m 45s
pages build and deployment pages-build-deployment #1895: by FractalDevTeam
42s master
master
42s
paper r6: pristine cleanup pass — bibliography style normalization + … Deploy static content to Pages #1875: Commit 597ecaf pushed by FractalDevTeam
30s master
master
30s
paper r6: pristine cleanup pass — bibliography style normalization + … Verify (Lean 4 kernel-only axiom check) #107: Commit 597ecaf pushed by FractalDevTeam
1m 9s master
master
1m 9s
pages build and deployment pages-build-deployment #1894: by FractalDevTeam
40s master
master
40s
paper r5c: abstract now surfaces Higgs-sector substrate-predictive ca… Verify (Lean 4 kernel-only axiom check) #106: Commit 4221fe3 pushed by FractalDevTeam
1h 0m 34s master
master
1h 0m 34s
paper r5c: abstract now surfaces Higgs-sector substrate-predictive ca… Deploy static content to Pages #1874: Commit 4221fe3 pushed by FractalDevTeam
22s master
master
22s
pages build and deployment pages-build-deployment #1893: by FractalDevTeam
47s master
master
47s
book Ch 19: Higgs-sector substrate-predictive candidates (2026-07-01)… Verify (Lean 4 kernel-only axiom check) #105: Commit aa1f6f2 pushed by FractalDevTeam
1m 44s master
master
1m 44s
book Ch 19: Higgs-sector substrate-predictive candidates (2026-07-01)… Deploy static content to Pages #1873: Commit aa1f6f2 pushed by FractalDevTeam
25s master
master
25s
pages build and deployment pages-build-deployment #1892: by FractalDevTeam
39s master
master
39s
book Ch 6: honest-scope remark on c_2 = 19/20 = 0.95 derivation statu… Verify (Lean 4 kernel-only axiom check) #104: Commit 3b7f3ed pushed by FractalDevTeam
4m 8s master
master
4m 8s
book Ch 6: honest-scope remark on c_2 = 19/20 = 0.95 derivation statu… Deploy static content to Pages #1872: Commit 3b7f3ed pushed by FractalDevTeam
21s master
master
21s
pages build and deployment pages-build-deployment #1891: by FractalDevTeam
41s master
master
41s
paper r5b: cross-consistency polish — ten-anchor list flags c_2 condi… Verify (Lean 4 kernel-only axiom check) #103: Commit 9f0f6aa pushed by FractalDevTeam
3m 1s master
master
3m 1s
paper r5b: cross-consistency polish — ten-anchor list flags c_2 condi… Deploy static content to Pages #1871: Commit 9f0f6aa pushed by FractalDevTeam
25s master
master
25s
pages build and deployment pages-build-deployment #1890: by FractalDevTeam
52s master
master
52s
paper r5: rigor pass on Candidate 1 (m_H) — verified char-trace ident… Verify (Lean 4 kernel-only axiom check) #102: Commit 527c60b pushed by FractalDevTeam
3m 33s master
master
3m 33s
paper r5: rigor pass on Candidate 1 (m_H) — verified char-trace ident… Deploy static content to Pages #1870: Commit 527c60b pushed by FractalDevTeam
21s master
master
21s
pages build and deployment pages-build-deployment #1889: by FractalDevTeam
48s master
master
48s
paper r4: Higgs-sector substrate-predictive candidates + c_2 = 19/20 … Deploy static content to Pages #1869: Commit f1aad51 pushed by FractalDevTeam
26s master
master
26s
paper r4: Higgs-sector substrate-predictive candidates + c_2 = 19/20 … Verify (Lean 4 kernel-only axiom check) #101: Commit f1aad51 pushed by FractalDevTeam
36m 38s master
master
36m 38s
pages build and deployment pages-build-deployment #1888: by FractalDevTeam
42s master
master
42s
paper: Category Error #3 (Wiles-pattern preemption) after adversarial… Verify (Lean 4 kernel-only axiom check) #100: Commit b323a55 pushed by FractalDevTeam
1h 0m 35s master
master
1h 0m 35s
paper: Category Error #3 (Wiles-pattern preemption) after adversarial… Deploy static content to Pages #1868: Commit b323a55 pushed by FractalDevTeam
2m 44s master
master
2m 44s