Rust CI

Workflow runs for Rust CI

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

  completed successfully:
  Rust CI#2496:Commit5173ca7pushedbyhyperpolymath
  main

  Oct 15, 20262m 57s
  More actions for workflow run 2496

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

  completed successfully:
  Rust CI#2495:Pull request#926synchronizebyhyperpolymath
  dependabot/github_actions/actions-7e8019b270

  Oct 15, 20262m 5s
  More actions for workflow run 2495

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

  completed successfully:
  Rust CI#2494:Commit2bc2103pushedbyhyperpolymath
  main

  Oct 15, 20261m 27s
  More actions for workflow run 2494

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

  completed successfully:
  Rust CI#2493:Pull request#926openedbydependabot[bot]Bot
  dependabot/github_actions/actions-7e8019b270

  Oct 15, 20261m 50s
  More actions for workflow run 2493

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

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

  Oct 15, 20262m 6s
  More actions for workflow run 2492

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

  cancelled:
  Rust CI#2491:Pull request#924synchronizebycoderabbitai[bot]Bot
  rules/clade-identity-and-sha-pinning

  Oct 15, 20261m 42s
  More actions for workflow run 2491

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

  completed successfully:
  Rust CI#2490:Pull request#924synchronizebyhyperpolymath
  rules/clade-identity-and-sha-pinning

  Oct 15, 20261m 32s
  More actions for workflow run 2490

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

  completed successfully:
  Rust CI#2489:Commit99e282apushedbyhyperpolymath
  main

  Oct 15, 20267m 23s
  More actions for workflow run 2489

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

  completed successfully:
  Rust CI#2488:Pull request#925openedbyhyperpolymath
  fix/neural-learning-cycle

  Oct 15, 20261m 32s
  More actions for workflow run 2488

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

  completed successfully:
  Rust CI#2487:Pull request#924openedbyhyperpolymath
  rules/clade-identity-and-sha-pinning

  Oct 15, 20261m 43s
  More actions for workflow run 2487

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

  completed successfully:
  Rust CI#2486:Pull request#921synchronizebydependabot[bot]Bot
  dependabot/github_actions/actions-b434826032

  Oct 14, 20261m 36s
  More actions for workflow run 2486

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

  completed successfully:
  Rust CI#2485:Commit5f86909pushedbyhyperpolymath
  main

  Oct 14, 20262m 54s
  More actions for workflow run 2485

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

  completed successfully:
  Rust CI#2484:Pull request#923synchronizebyhyperpolymath
  claude/hyp-01-c-retraction

  Oct 14, 20265m 4s
  More actions for workflow run 2484

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

  completed successfully:
  Rust CI#2483:Pull request#921synchronizebydependabot[bot]Bot
  dependabot/github_actions/actions-b434826032

  Oct 14, 20261m 41s
  More actions for workflow run 2483

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

  completed successfully:
  Rust CI#2482:Pull request#923openedbyhyperpolymath
  claude/hyp-01-c-retraction

  Oct 14, 20261m 36s
  More actions for workflow run 2482

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

  completed successfully:
  Rust CI#2481:Commit988e9b7pushedbyhyperpolymath
  main

  Oct 14, 20261m 41s
  More actions for workflow run 2481

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

  completed successfully:
  Rust CI#2480:Pull request#922openedbyhyperpolymath
  claude/hyp-01-b-schema

  Oct 14, 20263m 11s
  More actions for workflow run 2480

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

  completed successfully:
  Rust CI#2479:Pull request#921openedbydependabot[bot]Bot
  dependabot/github_actions/actions-b434826032

  Oct 14, 20263m 52s
  More actions for workflow run 2479

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

  completed successfully:
  Rust CI#2478:Commitce5fc63pushedbyhyperpolymath
  main

  Oct 14, 20262m 0s
  More actions for workflow run 2478

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

  completed successfully:
  Rust CI#2477:Pull request#920openedbyhyperpolymath
  claude/new-session-25msjx

  Oct 14, 20262m 14s
  More actions for workflow run 2477

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

  completed successfully:
  Rust CI#2476:Pull request#917synchronizebydependabot[bot]Bot
  dependabot/github_actions/actions-7cbd780897

  Oct 9, 20261m 36s
  More actions for workflow run 2476

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

  completed successfully:
  Rust CI#2475:Commit4be38c8pushedbyhyperpolymath
  main

  Oct 8, 20261m 18s
  More actions for workflow run 2475

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

  completed successfully:
  Rust CI#2474:Pull request#918openedbyhyperpolymath
  fix/require-endpoint-env

  Oct 8, 20261m 43s
  More actions for workflow run 2474

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

  completed successfully:
  Rust CI#2473:Pull request#917openedbydependabot[bot]Bot
  dependabot/github_actions/actions-7cbd780897

  Oct 8, 20261m 47s
  More actions for workflow run 2473

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

  completed successfully:
  Rust CI#2472:Commit69cf5capushedbyhyperpolymath
  main

  Oct 8, 20262m 40s
  More actions for workflow run 2472