Code

Bump the entree-specs commit#2211

Code

Merged

sauclovian-g merged 1 commit intomasterGaloisInc/saw-script:masterfrom bump-entree-specsGaloisInc/saw-script:bump-entree-specsCopy head branch name to clipboardFeb 3, 2025

+3-3

Commits

Commits on Feb 3, 2025

• Bump the entree-specs commit we use to fix its build in the CI.

  sauclovian-g

  committed
  f519908

  Copy full SHA for f519908