feat: solvers package #291
karmacoma-ethAnnotations
2 errors
|
test (tests/ffi)
unable to access 'https://github.com/a16z/erc4626-tests.git/': Failed to connect to github.com port 443 after 75001 ms: Couldn't connect to server
|
|
test (tests/ffi)
clone of 'https://github.com/a16z/erc4626-tests.git' into submodule path '/Users/runner/work/halmos/halmos/tests/lib/openzeppelin-contracts/lib/erc4626-tests' failed
|