All workflows

Workflow runs

• Merge pull request #34 from jesusvilela/copilot/fix-scout-frame-solve

  failed:
  tests#89:Commitdd391dbpushedbyjesusvilela
  main

  Oct 20, 202649s
  More actions for workflow run 89

• pages build and deployment

  completed successfully:
  pages-build-deployment#6:byjesusvilela
  main

  Oct 20, 202641s

• Stop the scout gate from discarding coupled-frame results; include unit clauses in the 2-SAT check

  failed:
  tests#88:Pull request#34openedbyCopilotAI
  copilot/fix-scout-frame-solve

  Oct 20, 202610s
  More actions for workflow run 88

• Running Copilot cloud agent

  completed successfully:
  Copilot cloud agent#10:byCopilotAI
  copilot/fix-scout-frame-solve

  Oct 20, 20264m 8s

• docs: add falsification conditions for all 52 theorems

  failed:
  Lean Action CI#14:Commitf82db92pushedbyjesusvilela
  revert-ce8036c

  Sep 15, 202615m 13s
  More actions for workflow run 14

• docs: add hardening frameworks documentation

  failed:
  Lean Action CI#13:Commitfc949c2pushedbyjesusvilela
  revert-ce8036c

  Sep 15, 202613m 21s
  More actions for workflow run 13

• docs: add holonomy visualization section with mermaid diagram

  failed:
  Lean Action CI#12:Commit75dabf6pushedbyjesusvilela
  revert-ce8036c

  Sep 14, 202615m 18s
  More actions for workflow run 12

• docs: document tautologies and empty proofs in peer review

  failed:
  Lean Action CI#11:Commit9e9e524pushedbyjesusvilela
  revert-ce8036c

  Aug 29, 202614m 37s
  More actions for workflow run 11

• feat: fix CD.lean build errors, add superior lift section to README

  failed:
  Lean Action CI#10:Commitc6e798bpushedbyjesusvilela
  revert-ce8036c

  Aug 29, 202613m 22s
  More actions for workflow run 10

• feat: peer review tautology fix, GF(16,16) superior multiknob, README…

  failed:
  Lean Action CI#9:Commitbd40641pushedbyjesusvilela
  revert-ce8036c

  Aug 20, 20269m 1s
  More actions for workflow run 9

• fix: correct associator_zero proof, document undecidability placeholders

  failed:
  Lean Action CI#8:Commitdfaffd6pushedbyjesusvilela
  revert-ce8036c

  Aug 18, 202615m 31s
  More actions for workflow run 8

• feat: add HDC module with hyperdimensional computing operations over …

  failed:
  Lean Action CI#7:Commit9ca57b2pushedbyjesusvilela
  revert-ce8036c

  Aug 18, 202612m 10s
  More actions for workflow run 7

• docs: add Cayley-Dickson hypercomplex tower section to README

  failed:
  Lean Action CI#6:Commitd6b25e1pushedbyjesusvilela
  revert-ce8036c

  Aug 17, 202615m 42s
  More actions for workflow run 6

• refactor: fill remaining True placeholder theorems with descriptive d…

  failed:
  Lean Action CI#5:Commit541803dpushedbyjesusvilela
  revert-ce8036c

  Aug 17, 202615m 36s
  More actions for workflow run 5

• devcontainers in /. - Update #1529462426

  failed:
  Dependabot Updates#83:bydependabot[bot]Bot
  main

  Aug 17, 202646s

• docs: add GF(GF(2,2), GF(2,2)) multiknob section to README

  failed:
  Lean Action CI#4:Commitd6e1179pushedbyjesusvilela
  revert-ce8036c

  Aug 17, 202615m 16s
  More actions for workflow run 4

• feat: GF(GF(2,2),GF(2,2)) multiknob + fill empty proofs

  failed:
  Lean Action CI#3:Commit4da0c1epushedbyjesusvilela
  revert-ce8036c

  Aug 17, 202614m 56s
  More actions for workflow run 3

• refactor: remove dead code, fix HTML structure, shorten comments

  failed:
  Lean Action CI#2:Commit0e9cbf0pushedbyjesusvilela
  revert-ce8036c

  Aug 16, 202610m 19s
  More actions for workflow run 2

• v0.1.0: Hypercomplex hyperdimensional spin group lifting

  failed:
  Lean Action CI#1:Commit06dfff8pushedbyjesusvilela
  revert-ce8036c

  Aug 16, 202614m 37s
  More actions for workflow run 1

• devcontainers in /. - Update #1518037353

  failed:
  Dependabot Updates#82:bydependabot[bot]Bot
  main

  Aug 10, 202636s

• devcontainers in /. - Update #1502962844

  failed:
  Dependabot Updates#81:bydependabot[bot]Bot
  main

  Aug 3, 202634s

• devcontainers in /. - Update #1487425279

  failed:
  Dependabot Updates#80:bydependabot[bot]Bot
  main

  Jul 27, 202633s

• npm_and_yarn in /. - Update #1479720946

  failed:
  Dependabot Updates#79:bydependabot[bot]Bot
  main

  Jul 24, 202645s

• npm_and_yarn in /. - Update #1476777784

  failed:
  Dependabot Updates#78:bydependabot[bot]Bot
  main

  Jul 23, 202653s

• npm_and_yarn in /. - Update #1474885958

  failed:
  Dependabot Updates#77:bydependabot[bot]Bot
  main

  Jul 22, 202648s