Skip to content

Actions: SNAPKITTYWEST/sov-kernel-monster

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
583 workflow runs
583 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: Lean 4 hieroglyph formalization Deploy Pages #241: Commit 67714b4 pushed by SNAPKITTYWEST
27s main
main
27s
feat: Lean 4 hieroglyph formalization Build All Languages #328: Commit 67714b4 pushed by SNAPKITTYWEST
1m 43s main
main
1m 43s
legal+docs: tri-license, NOTICE, SOVEREIGN_METHOD, sovereign boundary… Build All Languages #327: Commit ad51d40 pushed by SNAPKITTYWEST
1m 33s feat/ahmad-bot-spacetime
feat/ahmad-bot-spacetime
1m 33s
docs(paper): 16pp compiled PDF -- Sovereign Monster Kernel Deploy Pages #240: Commit e24f90f pushed by SNAPKITTYWEST
36s main
main
36s
docs(paper): 16pp compiled PDF -- Sovereign Monster Kernel Build All Languages #326: Commit e24f90f pushed by SNAPKITTYWEST
2m 1s main
main
2m 1s
docs(paper): Sovereign Monster Kernel paper -- custom assembly, zero-… Build All Languages #325: Commit 2ea0e99 pushed by SNAPKITTYWEST
3m 19s main
main
3m 19s
docs(paper): Sovereign Monster Kernel paper -- custom assembly, zero-… Deploy Pages #239: Commit 2ea0e99 pushed by SNAPKITTYWEST
40s main
main
40s
docs: verified physics README connecting BH mechanics to constraint D… Build All Languages #324: Commit 0a69536 pushed by SNAPKITTYWEST
1m 18s main
main
1m 18s
docs: verified physics README connecting BH mechanics to constraint D… Deploy Pages #238: Commit 0a69536 pushed by SNAPKITTYWEST
22s main
main
22s
build(bh): make test — single command builds Fortran kernel and runs … Deploy Pages #237: Commit e6b158c pushed by SNAPKITTYWEST
29s main
main
29s
build(bh): make test — single command builds Fortran kernel and runs … Build All Languages #323: Commit e6b158c pushed by SNAPKITTYWEST
1m 11s main
main
1m 11s
feat(bh): 14 verified BH mechanics tests, all ULP-verified Build All Languages #322: Commit 5f29081 pushed by SNAPKITTYWEST
1m 40s main
main
1m 40s
feat(bh): 14 verified BH mechanics tests, all ULP-verified Deploy Pages #236: Commit 5f29081 pushed by SNAPKITTYWEST
10m 21s main
main
10m 21s
feat(bh): C FFI bridge with runtime-verified post-conditions Deploy Pages #235: Commit 5c5993e pushed by SNAPKITTYWEST
23s main
main
23s
feat(bh): C FFI bridge with runtime-verified post-conditions Build All Languages #321: Commit 5c5993e pushed by SNAPKITTYWEST
2m 14s main
main
2m 14s
feat(bh): Fortran BH mechanics kernel — Schwarzschild, Kerr, Wald, LQ… Build All Languages #320: Commit 26e7a2e pushed by SNAPKITTYWEST
1m 25s main
main
1m 25s
feat(bh): Fortran BH mechanics kernel — Schwarzschild, Kerr, Wald, LQ… Deploy Pages #234: Commit 26e7a2e pushed by SNAPKITTYWEST
28s main
main
28s
feat: Janet array model complete — bh_arrays.janet (470 lines) Build All Languages #319: Commit d4eedfa pushed by SNAPKITTYWEST
1m 36s main
main
1m 36s
feat: Janet array model complete — bh_arrays.janet (470 lines) Deploy Pages #233: Commit d4eedfa pushed by SNAPKITTYWEST
32s main
main
32s
doc: Janet status + clojure-lisp-bridge Coq theorems discovery Build All Languages #318: Commit 9a54485 pushed by SNAPKITTYWEST
1m 40s main
main
1m 40s
doc: Janet status + clojure-lisp-bridge Coq theorems discovery Deploy Pages #232: Commit 9a54485 pushed by SNAPKITTYWEST
24s main
main
24s
doc: What Ahmad solved & does the world know about Fortran theorem pr… Deploy Pages #231: Commit 792161f pushed by SNAPKITTYWEST
28s main
main
28s
doc: What Ahmad solved & does the world know about Fortran theorem pr… Build All Languages #317: Commit 792161f pushed by SNAPKITTYWEST
1m 30s main
main
1m 30s
doc: Fortran-guided theorem proving — Ahmad's innovation Deploy Pages #230: Commit 01a7367 pushed by SNAPKITTYWEST
30s main
main
30s
doc: Fortran-guided theorem proving — Ahmad's innovation Build All Languages #316: Commit 01a7367 pushed by SNAPKITTYWEST
1m 56s main
main
1m 56s