Zig

Workflow runs for Zig

• chore(deps): bump the actions group across 1 directory with 7 updates…

  completed successfully:
  Zig#190:Commit5173ca7pushedbyhyperpolymath
  main

  Oct 15, 202635s
  More actions for workflow run 190

• chore(deps): bump the actions group across 1 directory with 7 updates

  completed successfully:
  Zig#189:Pull request#926synchronizebyhyperpolymath
  dependabot/github_actions/actions-7e8019b270

  Oct 15, 202630s
  More actions for workflow run 189

• feat(cli): live detection for HYP-S010 and HYP-S011 (#924)

  completed successfully:
  Zig#188:Commit2bc2103pushedbyhyperpolymath
  main

  Oct 15, 202628s
  More actions for workflow run 188

• chore(deps): bump the actions group across 1 directory with 7 updates

  completed successfully:
  Zig#187:Pull request#926openedbydependabot[bot]Bot
  dependabot/github_actions/actions-7e8019b270

  Oct 15, 202647s
  More actions for workflow run 187

• feat(cli): live detection for HYP-S010 and HYP-S011

  completed successfully:
  Zig#186:Pull request#924synchronizebycoderabbitai[bot]Bot
  rules/clade-identity-and-sha-pinning

  Oct 15, 202624s
  More actions for workflow run 186

• feat(cli): live detection for HYP-S010 and HYP-S011

  completed successfully:
  Zig#185:Pull request#924synchronizebycoderabbitai[bot]Bot
  rules/clade-identity-and-sha-pinning

  Oct 15, 202632s
  More actions for workflow run 185

• feat(cli): live detection for HYP-S010 and HYP-S011

  completed successfully:
  Zig#184:Pull request#924synchronizebyhyperpolymath
  rules/clade-identity-and-sha-pinning

  Oct 15, 202639s
  More actions for workflow run 184

• fix(neural): the learning cycle crashed on every run — retune and fir…

  completed successfully:
  Zig#183:Commit99e282apushedbyhyperpolymath
  main

  Oct 15, 202632s
  More actions for workflow run 183

• fix(neural): the learning cycle crashed on every run — retune and first real training

  completed successfully:
  Zig#182:Pull request#925openedbyhyperpolymath
  fix/neural-learning-cycle

  Oct 15, 20261m 3s
  More actions for workflow run 182

• feat(cli): live detection for HYP-S010 and HYP-S011

  completed successfully:
  Zig#181:Pull request#924openedbyhyperpolymath
  rules/clade-identity-and-sha-pinning

  Oct 15, 202627s
  More actions for workflow run 181

• chore(deps): bump the actions group across 1 directory with 6 updates

  completed successfully:
  Zig#180:Pull request#921synchronizebydependabot[bot]Bot
  dependabot/github_actions/actions-b434826032

  Oct 14, 202633s
  More actions for workflow run 180

• feat(safety): quarantine retracts dependent findings; dispatch steps …

  completed successfully:
  Zig#179:Commit5f86909pushedbyhyperpolymath
  main

  Oct 14, 202643s
  More actions for workflow run 179

• feat(safety): quarantine retracts dependent findings; dispatch steps name their facts (HYP-01, PR C)

  completed successfully:
  Zig#178:Pull request#923synchronizebyhyperpolymath
  claude/hyp-01-c-retraction

  Oct 14, 20261m 32s
  More actions for workflow run 178

• chore(deps): bump the actions group across 1 directory with 6 updates

  completed successfully:
  Zig#177:Pull request#921synchronizebydependabot[bot]Bot
  dependabot/github_actions/actions-b434826032

  Oct 14, 202650s
  More actions for workflow run 177

• feat(safety): quarantine retracts dependent findings; dispatch steps name their facts (HYP-01, PR C)

  completed successfully:
  Zig#176:Pull request#923openedbyhyperpolymath
  claude/hyp-01-c-retraction

  Oct 14, 202638s
  More actions for workflow run 176

• feat(findings): every finding names its support; findings.ncl enforce…

  completed successfully:
  Zig#175:Commit988e9b7pushedbyhyperpolymath
  main

  Oct 14, 202629s
  More actions for workflow run 175

• feat(findings): every finding names its support; findings.ncl enforced in CI (HYP-01, PR B)

  completed successfully:
  Zig#174:Pull request#922openedbyhyperpolymath
  claude/hyp-01-b-schema

  Oct 14, 20261m 17s
  More actions for workflow run 174

• chore(deps): bump the actions group across 1 directory with 6 updates

  completed successfully:
  Zig#173:Pull request#921openedbydependabot[bot]Bot
  dependabot/github_actions/actions-b434826032

  Oct 14, 202637s
  More actions for workflow run 173

• feat(abi): verdict record names its support; Sound only from a prover…

  completed successfully:
  Zig#172:Commitce5fc63pushedbyhyperpolymath
  main

  Oct 14, 202634s
  More actions for workflow run 172

• feat(abi): verdict record names its support; Sound only from a prover re-check (HYP-01, PR A)

  completed successfully:
  Zig#171:Pull request#920openedbyhyperpolymath
  claude/new-session-25msjx

  Oct 14, 202627s
  More actions for workflow run 171

• chore(deps): bump the actions group across 1 directory with 2 updates

  completed successfully:
  Zig#170:Pull request#917synchronizebydependabot[bot]Bot
  dependabot/github_actions/actions-7cbd780897

  Oct 9, 202626s
  More actions for workflow run 170

• fix(config): require HYPATIA_VERISIM_URL / HYPATIA_ECHIDNABOT_URL, no…

  completed successfully:
  Zig#169:Commit4be38c8pushedbyhyperpolymath
  main

  Oct 8, 202624s
  More actions for workflow run 169

• fix(config): require HYPATIA_VERISIM_URL / HYPATIA_ECHIDNABOT_URL, no localhost defaults

  completed successfully:
  Zig#168:Pull request#918openedbyhyperpolymath
  fix/require-endpoint-env

  Oct 8, 202645s
  More actions for workflow run 168

• chore(deps): bump the actions group across 1 directory with 2 updates

  completed successfully:
  Zig#167:Pull request#917openedbydependabot[bot]Bot
  dependabot/github_actions/actions-7cbd780897

  Oct 8, 202624s
  More actions for workflow run 167

• fix(ci): relock actions.lock for Dependabot-bumped refs; codeql to v4…

  completed successfully:
  Zig#166:Commit69cf5capushedbyhyperpolymath
  main

  Oct 8, 202646s
  More actions for workflow run 166