Proofs Gate

Workflow runs for Proofs Gate

• Proofs Gate

  completed successfully:
  Proofs Gate#382:Scheduled
  main

  Nov 9, 202621s
  More actions for workflow run 382

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

  completed successfully:
  Proofs Gate#381:Pull request#379openedbydependabot[bot]Bot
  dependabot/github_actions/actions-752b8685b2

  Nov 9, 202632s
  More actions for workflow run 381

• Proofs Gate

  completed successfully:
  Proofs Gate#380:Scheduled
  main

  Nov 2, 202634s
  More actions for workflow run 380

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

  completed successfully:
  Proofs Gate#379:Pull request#378openedbydependabot[bot]Bot
  dependabot/github_actions/actions-8df1a3bacc

  Oct 30, 20268m 1s
  More actions for workflow run 379

• chore(deps): bump rustls from 0.23.39 to 0.23.46 in /coord-tui in the cargo group across 1 directory

  completed successfully:
  Proofs Gate#378:Pull request#373openedbydependabot[bot]Bot
  dependabot/cargo/coord-tui/cargo-8681492501

  Oct 30, 20268m 41s
  More actions for workflow run 378

• chore(deps): bump plug_cowboy from 2.8.0 to 2.9.0 in /elixir

  completed successfully:
  Proofs Gate#377:Pull request#374openedbydependabot[bot]Bot
  dependabot/hex/elixir/plug_cowboy-2.9.0

  Oct 30, 20267m 58s
  More actions for workflow run 377

• chore(deps): bump clap from 4.6.1 to 4.6.7 in /coord-tui

  completed successfully:
  Proofs Gate#376:Pull request#375openedbydependabot[bot]Bot
  dependabot/cargo/coord-tui/clap-4.6.7

  Oct 30, 20268m 16s
  More actions for workflow run 376

• chore(deps): bump ed25519-dalek from 2.2.0 to 3.0.0 in /coord-tui

  completed successfully:
  Proofs Gate#375:Pull request#377openedbydependabot[bot]Bot
  dependabot/cargo/coord-tui/ed25519-dalek-3.0.0

  Oct 30, 20268m 38s
  More actions for workflow run 375

• chore(deps): bump jason from 1.4.4 to 1.4.5 in /elixir

  completed successfully:
  Proofs Gate#374:Pull request#376openedbydependabot[bot]Bot
  dependabot/hex/elixir/jason-1.4.5

  Oct 30, 20267m 7s
  More actions for workflow run 374

• chore(deps): bump ureq from 2.12.1 to 3.5.0 in /coord-tui

  completed successfully:
  Proofs Gate#373:Pull request#372openedbydependabot[bot]Bot
  dependabot/cargo/coord-tui/ureq-3.5.0

  Oct 30, 20268m 21s
  More actions for workflow run 373

• chore(deps-dev): bump benchee from 1.5.0 to 1.5.1 in /elixir

  completed successfully:
  Proofs Gate#372:Pull request#371openedbydependabot[bot]Bot
  dependabot/hex/elixir/benchee-1.5.1

  Oct 30, 20266m 15s
  More actions for workflow run 372

• chore(deps): bump serde_json from 1.0.149 to 1.0.154 in /coord-tui

  completed successfully:
  Proofs Gate#371:Pull request#370openedbydependabot[bot]Bot
  dependabot/cargo/coord-tui/serde_json-1.0.154

  Oct 30, 20268m 5s
  More actions for workflow run 371

• chore(deps-dev): bump stream_data from 1.3.0 to 1.4.0 in /elixir

  completed successfully:
  Proofs Gate#370:Pull request#369openedbydependabot[bot]Bot
  dependabot/hex/elixir/stream_data-1.4.0

  Oct 30, 20268m 41s
  More actions for workflow run 370

• fix(ci,governance): remediate Dependabot, Hypatia, K9/DEED conformanc…

  completed successfully:
  Proofs Gate#369:Commit282df49pushedbyhyperpolymath
  main

  Oct 30, 20266m 49s
  More actions for workflow run 369

• fix(ci,governance): remediate Dependabot, Hypatia, K9/DEED conformance, and actions.lock closure

  completed successfully:
  Proofs Gate#368:Pull request#368synchronizebyhyperpolymath
  arena/44e3d5ab-boj-server

  Oct 30, 202625s
  More actions for workflow run 368

• fix(ci,governance): remediate Dependabot, Hypatia, K9/DEED conformance, and actions.lock closure

  completed successfully:
  Proofs Gate#367:Pull request#368synchronizebyhyperpolymath
  arena/44e3d5ab-boj-server

  Oct 30, 202627s
  More actions for workflow run 367

• fix(ci,governance): remediate Dependabot, Hypatia, K9/DEED conformance, and actions.lock closure

  completed successfully:
  Proofs Gate#366:Pull request#368synchronizebyhyperpolymath
  arena/44e3d5ab-boj-server

  Oct 30, 202623s
  More actions for workflow run 366

• fix(ci,governance): remediate Dependabot, Hypatia, K9/DEED conformance, and actions.lock closure

  completed successfully:
  Proofs Gate#365:Pull request#368synchronizebyhyperpolymath
  arena/44e3d5ab-boj-server

  Oct 30, 202624s
  More actions for workflow run 365

• fix(ci,governance): remediate Dependabot, Hypatia, K9/DEED conformance, and actions.lock closure

  completed successfully:
  Proofs Gate#364:Pull request#368synchronizebyhyperpolymath
  arena/44e3d5ab-boj-server

  Oct 30, 202625s
  More actions for workflow run 364

• fix(ci,governance): remediate Dependabot, Hypatia, K9/DEED conformance, and actions.lock closure

  completed successfully:
  Proofs Gate#363:Pull request#368openedbyhyperpolymath
  arena/44e3d5ab-boj-server

  Oct 30, 20264m 58s
  More actions for workflow run 363

• Proofs Gate

  failed:
  Proofs Gate#362:Scheduled
  main

  Oct 26, 202616s
  More actions for workflow run 362

• chore(deps): bump the actions group with 16 updates

  failed:
  Proofs Gate#361:Pull request#367openedbydependabot[bot]Bot
  dependabot/github_actions/actions-653c65eb5d

  Oct 23, 202614s
  More actions for workflow run 361

• Proofs Gate

  completed successfully:
  Proofs Gate#360:Scheduled
  main

  Oct 19, 202633s
  More actions for workflow run 360

• feat(registry): prioritize Bun > Deno/pnpm > npm/yarn across MCP mani…

  completed successfully:
  Proofs Gate#359:Commitc0d8b8apushedbyhyperpolymath
  main

  Oct 18, 202623s
  More actions for workflow run 359

• feat(registry): prioritize Bun > Deno/pnpm > npm/yarn across MCP manifest, scripts, and publish CI

  completed successfully:
  Proofs Gate#358:Pull request#366synchronizebyhyperpolymath
  arena/b1622b57-boj-server

  Oct 18, 202624s
  More actions for workflow run 358