CodeQL

Workflow runs for CodeQL

• perf(nix): speed up Rust checks and deduplicate Quint MBT

  completed successfully:
  CodeQL#1469:Pull request#308stackedbydavidabram
  perf/nix-test-profile-quint-dedup

  Oct 10, 20262m 32s
  More actions for workflow run 1469

• ci(nix): record flake, build, and smoke timings in job summaries

  completed successfully:
  CodeQL#1468:Pull request#311stackedbydavidabram
  perf/ci-stack-3-timing-diagnostics

  Oct 10, 20261m 20s
  More actions for workflow run 1468

• ci(quint): run spec verification without recompiling Rust MBT

  completed successfully:
  CodeQL#1467:Pull request#309stackedbydavidabram
  perf/ci-stack-1-quint-spec-only

  Oct 10, 20261m 23s
  More actions for workflow run 1467

• ci(nix): reuse macOS release build for CLI smoke validation

  completed successfully:
  CodeQL#1466:Pull request#310synchronizebydavidabram
  perf/ci-stack-2-macos-smoke-reuse

  Oct 10, 20261m 46s
  More actions for workflow run 1466

• ci(nix): record flake, build, and smoke timings in job summaries

  completed successfully:
  CodeQL#1465:Pull request#311synchronizebydavidabram
  perf/ci-stack-3-timing-diagnostics

  Oct 10, 20262m 27s
  More actions for workflow run 1465

• ci(quint): run spec verification without recompiling Rust MBT

  completed successfully:
  CodeQL#1464:Pull request#309synchronizebydavidabram
  perf/ci-stack-1-quint-spec-only

  Oct 10, 20261m 23s
  More actions for workflow run 1464

• perf(nix): speed up Rust checks and deduplicate Quint MBT

  completed successfully:
  CodeQL#1463:Pull request#308synchronizebydavidabram
  perf/nix-test-profile-quint-dedup

  Oct 10, 20261m 15s
  More actions for workflow run 1463

• mutation-cursor reconciliation wiring

  completed successfully:
  CodeQL#1462:Pull request#305synchronizebydavidabram
  ref-recon

  Oct 10, 20261m 5s
  More actions for workflow run 1462

• observability log lock striping

  completed successfully:
  CodeQL#1461:Pull request#304synchronizebydavidabram
  fix-logging

  Oct 10, 20261m 12s
  More actions for workflow run 1461

• mutation-cursor reconciliation wiring

  completed successfully:
  CodeQL#1460:Pull request#305synchronizebydavidabram
  ref-recon

  Oct 10, 20261m 19s
  More actions for workflow run 1460

• cleanup

  completed successfully:
  CodeQL#1459:Pull request#303synchronizebydavidabram
  dead-code-blues

  Oct 10, 20261m 11s
  More actions for workflow run 1459

• mutation-cursor reconciliation wiring

  completed successfully:
  CodeQL#1458:Pull request#305synchronizebydavidabram
  ref-recon

  Oct 10, 20262m 9s
  More actions for workflow run 1458

• cleanup

  completed successfully:
  CodeQL#1457:Pull request#303synchronizebydavidabram
  dead-code-blues

  Oct 10, 20261m 18s
  More actions for workflow run 1457

• observability log lock striping

  completed successfully:
  CodeQL#1456:Pull request#304synchronizebydavidabram
  fix-logging

  Oct 10, 20261m 14s
  More actions for workflow run 1456

• remove tokio db runtimes

  completed successfully:
  CodeQL#1455:Pull request#301synchronizebydavidabram
  remove-tokio-db-runtimes

  Oct 10, 20261m 2s
  More actions for workflow run 1455

• ci(nix): reuse macOS release build for CLI smoke validation

  completed successfully:
  CodeQL#1454:Pull request#310stackedbydavidabram
  perf/ci-stack-2-macos-smoke-reuse

  Oct 10, 20261m 14s
  More actions for workflow run 1454

• ci(quint): run spec verification without recompiling Rust MBT

  completed successfully:
  CodeQL#1453:Pull request#309stackedbydavidabram
  perf/ci-stack-1-quint-spec-only

  Oct 10, 20261m 11s
  More actions for workflow run 1453

• ci(nix): record flake, build, and smoke timings in job summaries

  completed successfully:
  CodeQL#1452:Pull request#311stackedbydavidabram
  perf/ci-stack-3-timing-diagnostics

  Oct 10, 20261m 17s
  More actions for workflow run 1452

• mutation-cursor reconciliation wiring

  completed successfully:
  CodeQL#1451:Pull request#305stackedbydavidabram
  ref-recon

  Oct 10, 20261m 16s
  More actions for workflow run 1451

• remove tokio db runtimes

  completed successfully:
  CodeQL#1450:Pull request#301stackedbydavidabram
  remove-tokio-db-runtimes

  Oct 10, 20261m 15s
  More actions for workflow run 1450

• observability log lock striping

  completed successfully:
  CodeQL#1449:Pull request#304stackedbydavidabram
  fix-logging

  Oct 10, 20261m 40s
  More actions for workflow run 1449

• cleanup

  completed successfully:
  CodeQL#1448:Pull request#303stackedbydavidabram
  dead-code-blues

  Oct 10, 20261m 15s
  More actions for workflow run 1448

• perf(nix): speed up Rust checks and deduplicate Quint MBT

  completed successfully:
  CodeQL#1447:Pull request#308openedbydavidabram
  perf/nix-test-profile-quint-dedup

  Oct 9, 20261m 9s
  More actions for workflow run 1447

• OpenTelemetry tracing for the CLI

  completed successfully:
  CodeQL#1446:Pull request#306synchronizebydavidabram
  sce-otel

  Oct 9, 20261m 18s
  More actions for workflow run 1446

• Skaza - mutation lib

  completed successfully:
  CodeQL#1445:Pull request#307synchronizebydavidabram
  skaza

  Oct 9, 20261m 11s
  More actions for workflow run 1445