Bump the entree-specs version used by heapster-tests

GaloisInc / saw-script

The SAW scripting language.

BSD 3-Clause "New" or "Revised" License

442 stars 63 forks source link

Closed sauclovian-g closed 1 month ago

sauclovian-g commented 1 month ago

Fixes the heapster-tests CI breakage that appeared last week in #2127.