Skip to content

Actions: Hyphaeic/fdrs_formal

Actions

Lean Action CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean_action_ci.yml
24 workflow runs
24 workflow runs

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
README rewrite Lean Action CI #24: Commit 82ee24f pushed by Hdpbilly
9m 2s master
master
9m 2s
The de-drift pass: SU7 + bridge + 25519 numbered (14.12-14.14); whole… Lean Action CI #23: Commit cff91db pushed by Hdpbilly
2m 28s master
master
2m 28s
The de-drift pass: SU7 + bridge + 25519 numbered (14.12-14.14); whole… Lean Action CI #22: Commit 9bfcba4 pushed by Hdpbilly
4m 39s master
master
4m 39s
The Phase-8 concretization bridge: June and July network layers welded Lean Action CI #21: Commit d896d75 pushed by Hdpbilly
2m 17s master
master
2m 17s
anirban Lean Action CI #20: Commit fa8d174 pushed by Hdpbilly
2m 22s master
master
2m 22s
Fix README formatting and wording on axioms Lean Action CI #19: Commit 0ec406c pushed by Hdpbilly
2m 5s master
master
2m 5s
edit readme Lean Action CI #18: Commit 93efbf6 pushed by Hdpbilly
2m 9s master
master
2m 9s
readme edit Lean Action CI #17: Commit e8d1de2 pushed by Hdpbilly
3m 28s master
master
3m 28s
● docs hygiene: clear stale status markers and dead references from L… Lean Action CI #16: Commit 857859a pushed by Hdpbilly
6m 46s master
master
6m 46s
Phase 14: the Synthetic Place Complex + adelic ℚˣ lift + function-fie… Lean Action CI #15: Commit 9fef536 pushed by Hdpbilly
2m 20s master
master
2m 20s
index additions Lean Action CI #14: Commit 32a5ddd pushed by Hdpbilly
2m 33s master
master
2m 33s
Adelic rigidity: the machine's boundary, machine-checked (no syntheti… Lean Action CI #13: Commit 41bfabb pushed by Hdpbilly
1m 58s master
master
1m 58s
Adelic p²-corner: native p-adic multi-stream arithmetic (Axis I at p) Lean Action CI #12: Commit f6bf281 pushed by Hdpbilly
2m 1s master
master
2m 1s
Adelic bridge: padic_valuation_from_stream (read v_p off the live str… Lean Action CI #11: Commit 6332748 pushed by Hdpbilly
2m 2s adelic-bridge
adelic-bridge
2m 2s
tidying Lean Action CI #10: Commit 0687592 pushed by Hdpbilly
2m 1s adelic-machine
adelic-machine
2m 1s
Add hyper-Gosper clock: couple N timelines via a tournament-bracket tree Lean Action CI #9: Commit 8968e8a pushed by Hdpbilly
1m 56s master
master
1m 56s
Bridge overflowRate to the generated timeline: cfOverflowRate = 1/gauge Lean Action CI #8: Commit 27e3d21 pushed by Hdpbilly
1m 58s master
master
1m 58s
Add bihomographic driver: the two-stream scheduler (liveness) + demos Lean Action CI #7: Commit 2878333 pushed by Hdpbilly
2m 1s homographic-carry
homographic-carry
2m 1s
Remove explorations/ scratch scripts from tracking Lean Action CI #6: Commit 8fc1c24 pushed by Hdpbilly
2m 25s master
master
2m 25s
Group G on the golden timeline: the Levy upward engine (Chunk 3 compl… Lean Action CI #5: Commit a6bc4c4 pushed by Hdpbilly
3m 31s master
master
3m 31s
Revise README with enhanced project description Lean Action CI #4: Commit ac32a44 pushed by Not0xKruger
2m 2s master
master
2m 2s
Update README.md Lean Action CI #3: Commit 09ab554 pushed by Hdpbilly
3m 8s master
master
3m 8s
Replace 30 scaffolds + 5 sorries with genuine proofs (Groups A–C, E… Lean Action CI #2: Commit 4f5b534 pushed by Hdpbilly
3m 37s master
master
3m 37s
changing some naming schemes to make placeholders and incomplete part… Lean Action CI #1: Commit 434559b pushed by Hdpbilly
6m 24s master
master
6m 24s