Security scan

Workflow runs for Security scan

• chore(deps): update dependency @anthropic-ai/claude-code to v2.1.321

  completed successfully:
  Security scan#279:Pull request#125openedbyferrlabs-renovate[bot]Bot
  renovate/anthropic-ai-claude-code-2.x

  Nov 10, 20261m 15s
  More actions for workflow run 279

• chore(release): runner v1.8.0

  completed successfully:
  Security scan#278:Commitd58a44bpushedbyferrflow[bot]Bot
  main

  Nov 10, 20261m 51s
  More actions for workflow run 278

• feat(formal): add sccache and extra volumes for a persistent build ca…

  completed successfully:
  Security scan#277:Commit938e683pushedbyBryanFRD
  main

  Nov 10, 20261m 34s
  More actions for workflow run 277

• docs: select the formal image through a runner pool (#122)

  completed successfully:
  Security scan#276:Commitde49b8apushedbyBryanFRD
  main

  Nov 10, 20261m 52s
  More actions for workflow run 276

• feat(formal): add sccache and extra volumes for a persistent build cache

  completed successfully:
  Security scan#275:Pull request#124reopenedbyBryanFRD
  feat/formal-sccache

  Nov 10, 20267m 54s
  More actions for workflow run 275

• feat(formal): add sccache and extra volumes for a persistent build cache

  cancelled:
  Security scan#274:Pull request#124openedbyBryanFRD
  feat/formal-sccache

  Nov 10, 20265m 9s
  More actions for workflow run 274

• fix(runner): clear stale run directories when the pool agent starts

  completed successfully:
  Security scan#273:Pull request#123openedbyBryanFRD
  fix/clean-stale-workdirs

  Nov 10, 20261m 44s
  More actions for workflow run 273

• docs: select the formal image through a runner pool

  completed successfully:
  Security scan#272:Pull request#122openedbyBryanFRD
  docs/formal-image-pool-selection

  Nov 10, 20262m 17s
  More actions for workflow run 272

• Security scan

  completed successfully:
  Security scan#271:Scheduled
  main

  Nov 10, 20261m 20s
  More actions for workflow run 271

• ci: add reusable Kani job (#121)

  completed successfully:
  Security scan#270:Commit52635a4pushedbyBryanFRD
  main

  Nov 10, 20261m 48s
  More actions for workflow run 270

• ci: add reusable Kani job

  completed successfully:
  Security scan#269:Pull request#121synchronizebyBryanFRD
  ci/kani

  Nov 10, 20261m 42s
  More actions for workflow run 269

• chore(release): runner v1.7.2

  completed successfully:
  Security scan#268:Commit2c411e2pushedbyferrflow[bot]Bot
  main

  Nov 10, 20261m 48s
  More actions for workflow run 268

• fix(runner): never offer tools that wait for a later turn (#120)

  completed successfully:
  Security scan#267:Commitdd8f026pushedbyBryanFRD
  main

  Nov 10, 20261m 45s
  More actions for workflow run 267

• ci: add reusable Kani job

  completed successfully:
  Security scan#266:Pull request#121openedbyBryanFRD
  ci/kani

  Nov 10, 20261m 44s
  More actions for workflow run 266

• fix(runner): never offer tools that wait for a later turn

  completed successfully:
  Security scan#265:Pull request#120openedbyBryanFRD
  fix/headless-disallow-waiting-tools

  Nov 10, 20261m 48s
  More actions for workflow run 265

• chore(deps): update rust crate uuid to v1.29.2 (#119)

  completed successfully:
  Security scan#264:Commit7a4da9fpushedbyferrlabs-renovate[bot]Bot
  main

  Nov 10, 20261m 47s
  More actions for workflow run 264

• chore(deps): update rust crate uuid to v1.29.2

  completed successfully:
  Security scan#263:Pull request#119openedbyferrlabs-renovate[bot]Bot
  renovate/uuid-1.x-lockfile

  Nov 10, 20261m 34s
  More actions for workflow run 263

• chore(deps): update ghcr.io/ferrlabs/ferrflow docker tag to v7.35.6 (…

  completed successfully:
  Security scan#262:Commit687cfbapushedbyferrlabs-renovate[bot]Bot
  main

  Nov 9, 20261m 50s
  More actions for workflow run 262

• chore(deps): update ghcr.io/ferrlabs/ferrflow docker tag to v7.35.6

  completed successfully:
  Security scan#261:Pull request#118openedbyferrlabs-renovate[bot]Bot
  renovate/docker-images

  Nov 9, 20261m 36s
  More actions for workflow run 261

• chore(release): runner v1.7.1

  completed successfully:
  Security scan#260:Commit7f6e724pushedbyferrflow[bot]Bot
  main

  Nov 9, 20261m 56s
  More actions for workflow run 260

• fix(formal): run cargo and Kani on a read-only root with HOME=/tmp (#…

  completed successfully:
  Security scan#259:Commitfdecc59pushedbyBryanFRD
  main

  Nov 9, 20261m 58s
  More actions for workflow run 259

• fix(formal): run cargo and Kani on a read-only root with HOME=/tmp

  completed successfully:
  Security scan#258:Pull request#117synchronizebyBryanFRD
  fix/formal-writable-cargo-env

  Nov 9, 20261m 32s
  More actions for workflow run 258

• fix(formal): run cargo and Kani on a read-only root with HOME=/tmp

  completed successfully:
  Security scan#257:Pull request#117synchronizebyBryanFRD
  fix/formal-writable-cargo-env

  Nov 9, 20261m 41s
  More actions for workflow run 257

• chore(deps): update dependency @anthropic-ai/claude-code to v2.1.319 …

  completed successfully:
  Security scan#256:Commitb26d692pushedbyBryanFRD
  main

  Nov 9, 20261m 44s
  More actions for workflow run 256

• chore(release): runner v1.7.0

  completed successfully:
  Security scan#255:Commit8fdd7cfpushedbyferrflow[bot]Bot
  main

  Nov 9, 20261m 47s
  More actions for workflow run 255