Skip to content

Actions: jesusvilela/lambda-sat-solver

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
194 workflow runs
194 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: peer review tautology fix, GF(16,16) superior multiknob, README… Lean Action CI #9: Commit bd40641 pushed by jesusvilela
9m 1s revert-ce8036c
revert-ce8036c
9m 1s
fix: correct associator_zero proof, document undecidability placeholders Lean Action CI #8: Commit dfaffd6 pushed by jesusvilela
15m 31s revert-ce8036c
revert-ce8036c
15m 31s
feat: add HDC module with hyperdimensional computing operations over … Lean Action CI #7: Commit 9ca57b2 pushed by jesusvilela
12m 10s revert-ce8036c
revert-ce8036c
12m 10s
docs: add Cayley-Dickson hypercomplex tower section to README Lean Action CI #6: Commit d6b25e1 pushed by jesusvilela
15m 42s revert-ce8036c
revert-ce8036c
15m 42s
refactor: fill remaining True placeholder theorems with descriptive d… Lean Action CI #5: Commit 541803d pushed by jesusvilela
15m 36s revert-ce8036c
revert-ce8036c
15m 36s
devcontainers in /. - Update #1529462426 Dependabot Updates #83: by dependabot Bot
46s main
main
46s
docs: add GF(GF(2,2), GF(2,2)) multiknob section to README Lean Action CI #4: Commit d6e1179 pushed by jesusvilela
15m 16s revert-ce8036c
revert-ce8036c
15m 16s
feat: GF(GF(2,2),GF(2,2)) multiknob + fill empty proofs Lean Action CI #3: Commit 4da0c1e pushed by jesusvilela
14m 56s revert-ce8036c
revert-ce8036c
14m 56s
refactor: remove dead code, fix HTML structure, shorten comments Lean Action CI #2: Commit 0e9cbf0 pushed by jesusvilela
10m 19s revert-ce8036c
revert-ce8036c
10m 19s
v0.1.0: Hypercomplex hyperdimensional spin group lifting Lean Action CI #1: Commit 06dfff8 pushed by jesusvilela
14m 37s revert-ce8036c
revert-ce8036c
14m 37s
devcontainers in /. - Update #1518037353 Dependabot Updates #82: by dependabot Bot
36s main
main
36s
devcontainers in /. - Update #1502962844 Dependabot Updates #81: by dependabot Bot
34s main
main
34s
devcontainers in /. - Update #1487425279 Dependabot Updates #80: by dependabot Bot
33s main
main
33s
npm_and_yarn in /. - Update #1479720946 Dependabot Updates #79: by dependabot Bot
45s main
main
45s
npm_and_yarn in /. - Update #1476777784 Dependabot Updates #78: by dependabot Bot
53s main
main
53s
npm_and_yarn in /. - Update #1474885958 Dependabot Updates #77: by dependabot Bot
48s main
main
48s
npm_and_yarn in /. - Update #1472092433 Dependabot Updates #76: by dependabot Bot
47s main
main
47s
Merge pull request #33 from jesusvilela/claude/2026-sota-benchmark-xy… tests #87: Commit 9dec032 pushed by jesusvilela
47s main
main
47s
pages build and deployment pages-build-deployment #5: by jesusvilela
44s main
main
44s
Replace Euclidean n/260 hardness scalar with a holographic-screen geo… tests #86: Pull request #33 opened by jesusvilela
46s claude/2026-sota-benchmark-xyp1zh
claude/2026-sota-benchmark-xyp1zh
46s
Replace Euclidean n/260 hardness scalar with a holographic-screen geo… tests #85: Commit bbc4e3f pushed by jesusvilela
48s claude/2026-sota-benchmark-xyp1zh
claude/2026-sota-benchmark-xyp1zh
48s
npm_and_yarn in /. - Update #1468559962 Dependabot Updates #75: by dependabot Bot
43s main
main
43s
devcontainers in /. - Update #1468559966 Dependabot Updates #74: by dependabot Bot
33s main
main
33s
npm_and_yarn in /. - Update #1465320207 Dependabot Updates #73: by dependabot Bot
43s main
main
43s
npm_and_yarn in /. - Update #1463734617 Dependabot Updates #72: by dependabot Bot
46s main
main
46s