Upgrade devcontainer to Debian bookworm

freespek / ssf-mc

EF project Exploring Automatic Model-Checking of the Ethereum specification

Apache License 2.0

4 stars 0 forks source link

Closed thpani closed 3 months ago

thpani commented 3 months ago

Upgrade the devcontainer to Debian 12 (bookworm) (from 11 aka bullseye)

Bullseye does not have hyperfine, which is useful for benchmarking.