All workflows

Workflow runs

• .github/workflows/scorecard.yml

  failed:
  .github/workflows/scorecard.yml#1024:Scheduled
  main

  Nov 3, 2026Failure
  More actions for workflow run 1024

• Live Provers

  completed successfully:
  Live Provers#1395:Scheduled
  main

  Nov 3, 20267m 30s
  More actions for workflow run 1395

• audit: routing/rule-engine recon, Logtalk quarantine; Agda proofs re-checked under PROOF-POLICY §2.1

  completed successfully:
  Zig FFI CI#161:Pull request#455synchronizebyhyperpolymath
  arena/4853aec5-echidna

  Nov 2, 202638s
  More actions for workflow run 161

• audit: routing/rule-engine recon, Logtalk quarantine; Agda proofs re-checked under PROOF-POLICY §2.1

  completed successfully:
  Static Analysis Gate#165:Pull request#455synchronizebyhyperpolymath
  arena/4853aec5-echidna

  Nov 2, 20261m 45s
  More actions for workflow run 165

• audit: routing/rule-engine recon, Logtalk quarantine; Agda proofs re-checked under PROOF-POLICY §2.1

  completed successfully:
  ClusterFuzzLite PR fuzzing#708:Pull request#455synchronizebyhyperpolymath
  arena/4853aec5-echidna

  Nov 2, 202613m 16s
  More actions for workflow run 708

• audit: routing/rule-engine recon, Logtalk quarantine; Agda proofs re-checked under PROOF-POLICY §2.1

  completed successfully:
  CodeQL Security Analysis#1582:Pull request#455synchronizebyhyperpolymath
  arena/4853aec5-echidna

  Nov 2, 20261m 13s
  More actions for workflow run 1582

• audit: routing/rule-engine recon, Logtalk quarantine; Agda proofs re-checked under PROOF-POLICY §2.1

  failed:
  Rust CI#1553:Pull request#455synchronizebyhyperpolymath
  arena/4853aec5-echidna

  Nov 2, 20267m 46s
  More actions for workflow run 1553

• audit: routing/rule-engine recon, Logtalk quarantine; Agda proofs re-checked under PROOF-POLICY §2.1

  completed successfully:
  Idris2 ABI Type-Check#478:Pull request#455synchronizebyhyperpolymath
  arena/4853aec5-echidna

  Nov 2, 202619s
  More actions for workflow run 478

• audit: routing/rule-engine recon, Logtalk quarantine; Agda proofs re-checked under PROOF-POLICY §2.1

  completed successfully:
  MVP Smoke (Best Effort)#1470:Pull request#455synchronizebyhyperpolymath
  arena/4853aec5-echidna

  Nov 2, 20262m 14s
  More actions for workflow run 1470

• audit: routing/rule-engine recon, Logtalk quarantine; Agda proofs re-checked under PROOF-POLICY §2.1

  cancelled:
  Agda Meta-Checker#368:Pull request#455synchronizebyhyperpolymath
  arena/4853aec5-echidna

  Nov 2, 202615m 40s
  More actions for workflow run 368

• audit: routing/rule-engine recon, Logtalk quarantine; Agda proofs re-checked under PROOF-POLICY §2.1

  completed successfully:
  Dogfood Gate#1359:Pull request#455synchronizebyhyperpolymath
  arena/4853aec5-echidna

  Nov 2, 20265m 46s
  More actions for workflow run 1359

• audit: routing/rule-engine recon, Logtalk quarantine; Agda proofs re-checked under PROOF-POLICY §2.1

  failed:
  Cargo Audit#1132:Pull request#455synchronizebyhyperpolymath
  arena/4853aec5-echidna

  Nov 2, 20263m 39s
  More actions for workflow run 1132

• audit: routing/rule-engine recon, Logtalk quarantine; Agda proofs re-checked under PROOF-POLICY §2.1

  completed successfully:
  Server Boot Gate#525:Pull request#455synchronizebyhyperpolymath
  arena/4853aec5-echidna

  Nov 2, 20263m 27s
  More actions for workflow run 525

• audit: routing/rule-engine recon, Logtalk quarantine; Agda proofs re-checked under PROOF-POLICY §2.1

  skipped:
  bridge-gate#372:Pull request#455synchronizebyhyperpolymath
  arena/4853aec5-echidna

  Nov 2, 20262s
  More actions for workflow run 372

• audit: routing/rule-engine recon, Logtalk quarantine; Agda proofs re-checked under PROOF-POLICY §2.1

  completed successfully:
  Live Provers#1394:Pull request#455synchronizebyhyperpolymath
  arena/4853aec5-echidna

  Nov 2, 20262m 25s
  More actions for workflow run 1394

• audit: routing/rule-engine recon, Logtalk quarantine; Agda proofs re-checked under PROOF-POLICY §2.1

  completed successfully:
  Proof Safety#246:Pull request#455synchronizebyhyperpolymath
  arena/4853aec5-echidna

  Nov 2, 20262m 8s
  More actions for workflow run 246

• audit: routing/rule-engine recon, Logtalk quarantine; Agda proofs re-checked under PROOF-POLICY §2.1

  completed successfully:
  Workflow Security Linter#1225:Pull request#455synchronizebyhyperpolymath
  arena/4853aec5-echidna

  Nov 2, 202630s
  More actions for workflow run 1225

• audit: routing/rule-engine recon, Logtalk quarantine; Agda proofs re-checked under PROOF-POLICY §2.1

  failed:
  .github/workflows/governance.yml#965:Pull request#455byhyperpolymath
  arena/4853aec5-echidna

  Nov 2, 2026Failure
  More actions for workflow run 965

• audit: routing/rule-engine recon, Logtalk quarantine; Agda proofs re-checked under PROOF-POLICY §2.1

  failed:
  .github/workflows/secret-scanner.yml#1558:Pull request#455byhyperpolymath
  arena/4853aec5-echidna

  Nov 2, 2026Failure
  More actions for workflow run 1558

• audit: routing/rule-engine recon, Logtalk quarantine; Agda proofs re-checked under PROOF-POLICY §2.1

  failed:
  .github/workflows/spark-theatre-gate.yml#925:Pull request#455byhyperpolymath
  arena/4853aec5-echidna

  Nov 2, 2026Failure
  More actions for workflow run 925

• audit: routing/rule-engine recon, Logtalk quarantine; Agda proofs re-checked under PROOF-POLICY §2.1

  failed:
  .github/workflows/hypatia-scan.yml#1507:Pull request#455byhyperpolymath
  arena/4853aec5-echidna

  Nov 2, 2026Failure
  More actions for workflow run 1507

• Merge branch 'main' into arena/4853aec5-echidna

  completed successfully:
  Workflow Security Linter#1224:Commit2398794pushedbyhyperpolymath
  arena/4853aec5-echidna

  Nov 2, 202623s
  More actions for workflow run 1224

• fix(deps): resolve RUSTSEC-2026-0414 in the root lockfile

  completed successfully:
  CodeQL Security Analysis#1581:Pull request#457openedbyhyperpolymath
  fix/audit-pulldown-cmark-0414

  Nov 2, 20261m 0s
  More actions for workflow run 1581

• fix(deps): resolve RUSTSEC-2026-0414 in the root lockfile

  completed successfully:
  Agda Meta-Checker#367:Pull request#457openedbyhyperpolymath
  fix/audit-pulldown-cmark-0414

  Nov 2, 202619s
  More actions for workflow run 367

• fix(deps): resolve RUSTSEC-2026-0414 in the root lockfile

  completed successfully:
  Cargo Audit#1131:Pull request#457openedbyhyperpolymath
  fix/audit-pulldown-cmark-0414

  Nov 2, 20263m 36s
  More actions for workflow run 1131