Skip to content

Actions: FragileTech/hypostructure

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
36 workflow runs
36 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
feat(eg): repair next ten compliance nodes Deploy web #29: Commit 112fbe1 pushed by Guillemdb
 1m 12s main
main
 1m 12s
feat(eg): complete classified route-8 chain Deploy web #28: Commit 4f0524a pushed by Guillemdb
 1m 6s main
main
 1m 6s
Update lean proof. Add postmortem Deploy web #27: Commit 45eb240 pushed by Guillemdb
 56s main
main
 56s
Improve readme Deploy web #26: Commit 8672f90 pushed by Guillemdb
 1m 29s main
main
 1m 29s
Merge pull request #5 from FragileTech/feat/presentation-purity-pr1 Deploy web #25: Commit 9b49d14 pushed by Guillemdb
 1m 18s main
main
 1m 18s
Publish updated manuscripts and proof explorer Deploy web #24: Commit 4429f62 pushed by Guillemdb
 1m 3s main
main
 1m 3s
npm_and_yarn in /web_old/frontend for react-router, react-router-dom - Update #1533162331 Dependabot Updates #4: by dependabotBot
 55s main
main
 55s
npm_and_yarn in /web_old/frontend for postcss - Update #1533162325 Dependabot Updates #3: by dependabotBot
 1m 1s main
main
 1m 1s
Publish updated manuscripts and proof explorer Deploy web #23: Commit b12bf19 pushed by Guillemdb
 1m 6s main
main
 1m 6s
Node [48] is faithful: the missing constant is dispensable for the cl… Deploy web #22: Commit 532ad7f pushed by Guillemdb
 1m 6s main
main
 1m 6s
Re-check every WEAKER and DIVERGENT node; 35 of 49 were wrong Deploy web #21: Commit be6c371 pushed by Guillemdb
 1m 10s main
main
 1m 10s
Re-check every ABSENT node; four were wrong Deploy web #20: Commit b1ff4db pushed by Guillemdb
 1m 11s main
main
 1m 11s
Node [11] is faithful, not absent Deploy web #19: Commit c2a93bc pushed by Guillemdb
 1m 10s main
main
 1m 10s
A node that states nothing claims no arm Deploy web #18: Commit 67302b8 pushed by Guillemdb
 1m 12s main
main
 1m 12s
Probe Branch D: 68 nodes now on a measured stub-free arm Deploy web #17: Commit d14a3f6 pushed by Guillemdb
 1m 14s main
main
 1m 14s
Fix the arm-closure count: 37 nodes on probed arms, not 4 Deploy web #16: Commit efd2165 pushed by Guillemdb
 1m 14s main
main
 1m 14s
Drive the app's node badges from the 180-node audit Deploy web #15: Commit f6c60e4 pushed by Guillemdb
 1m 23s main
main
 1m 23s
Verify the five STRONGER nodes against the manuscript's own proofs Deploy web #14: Commit d2e205a pushed by Guillemdb
 1m 8s main
main
 1m 8s
Split VACUOUS into faithful-trivial, surrogate-trivial and plumbing Deploy web #13: Commit 04a8d73 pushed by Guillemdb
 1m 8s main
main
 1m 8s
Re-audit all 180 nodes on their own producer, not on umbrella taint Deploy web #12: Commit 2e4f472 pushed by Guillemdb
 1m 8s main
main
 1m 8s
Rename Erdős proof terminology in manuscript and web app Deploy web #11: Commit 3c02524 pushed by Guillemdb
 1m 16s main
main
 1m 16s
Rewrite the EG node audit from a fresh Gate A/B verification pass Deploy web #10: Commit a689840 pushed by Guillemdb
 1m 12s main
main
 1m 12s
Add a Methodology link to the web app header Deploy web #9: Commit 667fe81 pushed by Guillemdb
 7m 53s main
main
 7m 53s
Port nodes [170] and [171]: scale additivity and blocked-class compre… Deploy web #8: Commit 99d4ceb pushed by Guillemdb
 4m 23s main
main
 4m 23s
Port Route 8, spine and cold-corridor nodes; add Lean port handoff Deploy web #7: Commit 96c91de pushed by Guillemdb
 2m 13s main
main
 2m 13s