Closed hackedy closed 1 year ago
This build failure: https://github.com/verified-network-toolchain/petr4/actions/runs/5460732785/jobs/9938010989
appears to be due to changes in the API of the Map module in Jane Street Core v0.16.
This build failure: https://github.com/verified-network-toolchain/petr4/actions/runs/5460732785/jobs/9938010989
appears to be due to changes in the API of the Map module in Jane Street Core v0.16.