Deep Recon

Workflow runs for Deep Recon

• docs(policy): proof and verification policy (Creusot, SPARK, Idris2, …

  completed successfully:
  Deep Recon#4:Commit1fdc61cpushedbyhyperpolymath
  main

  Oct 26, 20262m 15s
  More actions for workflow run 4

• chore(deps): bump the actions group with 4 updates (#1345)

  completed successfully:
  Deep Recon#3:Commitecf80c5pushedbyhyperpolymath
  main

  Oct 26, 20262m 26s
  More actions for workflow run 3

• Deep Recon

  completed successfully:
  Deep Recon#2:Scheduled
  main

  Oct 26, 20262m 16s
  More actions for workflow run 2

• Foundational CI/CD: supersede #1338, wire squabbler/proven/deep-recon…

  completed successfully:
  Deep Recon#1:Commite73b240pushedbyhyperpolymath
  main

  Oct 26, 20261m 33s
  More actions for workflow run 1