Documentation (casket-ssg)

Workflow runs for Documentation (casket-ssg)

• chore(dev): add mise Guix and Wolfi Podman environments (#175)

  cancelled:
  Documentation (casket-ssg)#53:Commitae52833pushedbyhyperpolymath
  main

  Oct 9, 20263s
  More actions for workflow run 53

• chore(dev): add mise Guix and Wolfi Podman environments

  cancelled:
  Documentation (casket-ssg)#52:Pull request#175openedbyhyperpolymath
  arena/a0547195-echidnabot

  Oct 9, 20263m 30s
  More actions for workflow run 52

• chore(deps): re-point trust kernel to echidna-core (#174)

  cancelled:
  Documentation (casket-ssg)#51:Commit65f2e65pushedbyhyperpolymath
  main

  Oct 9, 20261s
  More actions for workflow run 51

• chore(deps): re-point trust kernel to echidna-core

  completed successfully:
  Documentation (casket-ssg)#50:Pull request#174openedbyhyperpolymath
  arena/a0547195-echidnabot

  Oct 9, 202625m 6s
  More actions for workflow run 50

• feat(api): add submitProofObligation mutation for hypatia (#169)

  cancelled:
  Documentation (casket-ssg)#49:Commitfaeb280pushedbyhyperpolymath
  main

  Oct 8, 20261s
  More actions for workflow run 49

• feat(api): add submitProofObligation mutation for hypatia

  completed successfully:
  Documentation (casket-ssg)#48:Pull request#169openedbyhyperpolymath
  feat/submit-proof-obligation

  Oct 8, 202626m 14s
  More actions for workflow run 48

• feat: echidna integration, prove-result contract, id minting, CI repa…

  cancelled:
  Documentation (casket-ssg)#47:Commitc9abb39pushedbyhyperpolymath
  main

  Oct 5, 20262s
  More actions for workflow run 47

• feat: echidna integration, prove-result contract, id minting, CI repair

  completed successfully:
  Documentation (casket-ssg)#46:Pull request#168synchronizebycoderabbitai[bot]Bot
  firstrun/20261005

  Oct 5, 20261h 3m 51s
  More actions for workflow run 46

• feat: echidna integration, prove-result contract, id minting, CI repair

  completed successfully:
  Documentation (casket-ssg)#45:Pull request#168synchronizebyhyperpolymath
  firstrun/20261005

  Oct 5, 20263m 29s
  More actions for workflow run 45

• feat: echidna integration, prove-result contract, id minting, CI repair

  completed successfully:
  Documentation (casket-ssg)#44:Pull request#168synchronizebyhyperpolymath
  firstrun/20261005

  Oct 5, 20264m 6s
  More actions for workflow run 44

• feat: echidna integration, prove-result contract, id minting, CI repair

  completed successfully:
  Documentation (casket-ssg)#43:Pull request#168synchronizebyhyperpolymath
  firstrun/20261005

  Oct 5, 20262m 41s
  More actions for workflow run 43

• feat: echidna integration, prove-result contract, id minting, CI repair

  completed successfully:
  Documentation (casket-ssg)#42:Pull request#168synchronizebyhyperpolymath
  firstrun/20261005

  Oct 5, 20262m 55s
  More actions for workflow run 42

• feat: echidna integration, prove-result contract, id minting, CI repair

  completed successfully:
  Documentation (casket-ssg)#41:Pull request#168synchronizebyhyperpolymath
  firstrun/20261005

  Oct 5, 202627m 39s
  More actions for workflow run 41

• feat: echidna integration, prove-result contract, id minting, CI repair

  completed successfully:
  Documentation (casket-ssg)#40:Pull request#168openedbyhyperpolymath
  firstrun/20261005

  Oct 5, 202626m 4s
  More actions for workflow run 40

• chore(deps): bump the actions group with 2 updates (#163)

  failed at startup:
  Documentation (casket-ssg)#39:Commitdbeee8apushedbyhyperpolymath
  main

  Sep 25, 2026Startup failure
  More actions for workflow run 39

• Documentation (casket-ssg)

  failed at startup:
  Documentation (casket-ssg)#38:synchronizebyhyperpolymath
  dependabot/github_actions/actions-efd62f0799

  Sep 25, 2026Startup failure
  More actions for workflow run 38

• Documentation (casket-ssg)

  failed at startup:
  Documentation (casket-ssg)#37:openedbydependabot[bot]Bot
  dependabot/github_actions/actions-efd62f0799

  Sep 25, 2026Startup failure
  More actions for workflow run 37

• fix(ci): reconcile the workflows with actions.lock (gh-actions-lock) …

  completed successfully:
  Documentation (casket-ssg)#36:Commitdc692c5pushedbyhyperpolymath
  main

  Sep 20, 20261h 34m 25s
  More actions for workflow run 36

• fix(ci): reconcile the workflows with actions.lock (gh-actions-lock)

  completed successfully:
  Documentation (casket-ssg)#35:Pull request#158openedbyhyperpolymath
  fix/sha-pin-actions

  Sep 20, 202626m 11s
  More actions for workflow run 35

• fix(ci): pin third-party actions to full commit SHAs (#157)

  failed at startup:
  Documentation (casket-ssg)#34:Commita3e8b92pushedbyhyperpolymath
  main

  Sep 19, 2026Startup failure
  More actions for workflow run 34

• Documentation (casket-ssg)

  failed at startup:
  Documentation (casket-ssg)#33:openedbyhyperpolymath
  fix/sha-pin-actions

  Sep 19, 2026Startup failure
  More actions for workflow run 33

• fix(bot): verify prover contracts and the requested forge revision (#…

  completed successfully:
  Documentation (casket-ssg)#32:Commit83a7d9dpushedbyhyperpolymath
  main

  Sep 7, 202650m 3s
  More actions for workflow run 32

• fix(bot): verify prover contracts and the requested forge revision

  completed successfully:
  Documentation (casket-ssg)#31:Pull request#150synchronizebyhyperpolymath
  codex/live-proof-stack-20260907

  Sep 7, 202611m 7s
  More actions for workflow run 31

• fix(bot): verify prover contracts and the requested forge revision

  completed successfully:
  Documentation (casket-ssg)#30:Pull request#150synchronizebyhyperpolymath
  codex/live-proof-stack-20260907

  Sep 7, 202614m 0s
  More actions for workflow run 30

• fix(bot): verify prover contracts and the requested forge revision

  completed successfully:
  Documentation (casket-ssg)#29:Pull request#150synchronizebyhyperpolymath
  codex/live-proof-stack-20260907

  Sep 7, 202613m 4s
  More actions for workflow run 29