Mirror to Git Forges

Workflow runs for Mirror to Git Forges

• ci: repin standards to 9bdf864 with the fork-PR publisher; proofs: ga…

  failed at startup:
  Mirror to Git Forges#387:Commitaf51ec2pushedbyhyperpolymath
  main

  Nov 10, 2026Startup failure
  More actions for workflow run 387

• docs(proofs): allocate provenance obligations to Creusot and Verus (#…

  completed successfully:
  Mirror to Git Forges#386:Commit7d1feaapushedbyhyperpolymath
  main

  Nov 7, 20263m 11s
  More actions for workflow run 386

• ci: pause Bitbucket, SourceHut and Disroot mirrors (#178)

  completed successfully:
  Mirror to Git Forges#385:Commit2719ac0pushedbyhyperpolymath
  main

  Nov 6, 20263m 27s
  More actions for workflow run 385

• Mirror to Git Forges

  skipped:
  Mirror to Git Forges#384:Manually runbyhyperpolymath
  fix/pause-unconfigured-mirrors

  Nov 6, 20263s
  More actions for workflow run 384

• Mirror to Git Forges

  failed:
  Mirror to Git Forges#383:Manually runbyhyperpolymath
  fix/pause-unconfigured-mirrors

  Nov 6, 20263m 3s
  More actions for workflow run 383

• fix(ci): keep PCC standalone after adding provenance workspace (#177)

  failed:
  Mirror to Git Forges#382:Commit10b032cpushedbyhyperpolymath
  main

  Nov 6, 20263m 8s
  More actions for workflow run 382

• fix(provenance): enforce explicit nullable fields and isolate blockin…

  failed:
  Mirror to Git Forges#381:Commitd7fe9dbpushedbyhyperpolymath
  main

  Nov 6, 20263m 17s
  More actions for workflow run 381

• feat(provenance): sign and verify witnessed Exhibit B records (#174)

  failed at startup:
  Mirror to Git Forges#380:Commitcb93531pushedbyhyperpolymath
  main

  Nov 6, 2026Startup failure
  More actions for workflow run 380

• chore: retire the PCC ReScript scanner; turn off the Gitea mirror (#172)

  failed at startup:
  Mirror to Git Forges#379:Commit122321bpushedbyhyperpolymath
  main

  Nov 5, 2026Startup failure
  More actions for workflow run 379

• ci: repin standards to e064539 (clears Allowlist Preflight); render d…

  failed at startup:
  Mirror to Git Forges#378:Commitcd3ebd1pushedbyhyperpolymath
  main

  Nov 5, 2026Startup failure
  More actions for workflow run 378

• fix(deps): update h2, rustls and tokio past open RustSec advisories (…

  failed at startup:
  Mirror to Git Forges#377:Commit95a69bepushedbyhyperpolymath
  main

  Nov 5, 2026Startup failure
  More actions for workflow run 377

• k9: deploy template render, Hunt capability grant, push-time K9 lane,…

  failed:
  Mirror to Git Forges#376:Commitaa596c8pushedbyhyperpolymath
  main

  Oct 27, 20262m 53s
  More actions for workflow run 376

• ci: repin standards to metadatastician, adopt fork-governance, migrat…

  failed:
  Mirror to Git Forges#375:Commit86ddceepushedbyhyperpolymath
  main

  Oct 27, 20268m 32s
  More actions for workflow run 375

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

  failed:
  Mirror to Git Forges#374:Commita67641cpushedbyhyperpolymath
  main

  Oct 27, 2026Failure
  More actions for workflow run 374

• feat(ipc): register every panel-backend command, add the event pump (…

  failed:
  Mirror to Git Forges#373:Commita81763apushedbyhyperpolymath
  main

  Oct 27, 2026Failure
  More actions for workflow run 373

• fix(proofs): scan for postulate in check-abi; say exactly what the ga…

  failed:
  Mirror to Git Forges#372:Commitbc601dfpushedbyhyperpolymath
  main

  Oct 26, 2026Failure
  More actions for workflow run 372

• docs(proofs): reconcile PROOF-NEEDS and the proof-debt ledger with th…

  failed:
  Mirror to Git Forges#371:Commit1b6e767pushedbyhyperpolymath
  main

  Oct 26, 2026Failure
  More actions for workflow run 371

• chore(deps): bump github/codeql-action from 4.38.3 to 4.39.0 in the a…

  failed:
  Mirror to Git Forges#370:Commit1937c6bpushedbyhyperpolymath
  main

  Oct 19, 20262m 38s
  More actions for workflow run 370

• test: serialise the tests that set process environment variables (#160)

  failed:
  Mirror to Git Forges#369:Commit3b97e10pushedbyhyperpolymath
  main

  Oct 19, 20262m 50s
  More actions for workflow run 369

• fix(system_tray): const-initialised static, drop lazy_static (#155)

  failed:
  Mirror to Git Forges#368:Commit0edae54pushedbyhyperpolymath
  main

  Oct 19, 20263m 21s
  More actions for workflow run 368

• feat(ipc): register the panel-backend IPC commands (pilot: coprocesso…

  failed:
  Mirror to Git Forges#367:Commit13f51fepushedbyhyperpolymath
  main

  Oct 19, 20263m 36s
  More actions for workflow run 367

• docs: correct the Rust test counts and the JS-suite claims (#154)

  failed:
  Mirror to Git Forges#366:Commitc0dc793pushedbyhyperpolymath
  main

  Oct 19, 20262m 20s
  More actions for workflow run 366

• ci(e2e): key the Rust cache on the CPU model (fixes SIGILL in the des…

  failed:
  Mirror to Git Forges#365:Commit3ecfb97pushedbyhyperpolymath
  main

  Oct 19, 20263m 21s
  More actions for workflow run 365

• ci: repin the standards reusables past the lockfile fix (standards#12…

  failed:
  Mirror to Git Forges#364:Commit782c9afpushedbyhyperpolymath
  main

  Oct 19, 20263m 23s
  More actions for workflow run 364

• fix(panel-clades): #147's remaining ABI checks and docs, without the …

  failed:
  Mirror to Git Forges#363:Commit9961333pushedbyhyperpolymath
  main

  Oct 14, 20263m 24s
  More actions for workflow run 363