Skip to content
Test external projects

update solvers and halmos-builder dockerfiles (#404) #471

Sign in to view logs

update solvers and halmos-builder dockerfiles (#404)

update solvers and halmos-builder dockerfiles (#404) #471

Annotations

1 error

test (--cache-solver, farcasterxyz/contracts, farcaster-contracts)

test (--cache-solver, farcasterxyz/contracts, farcaster-contracts)
failed Nov 8, 2024 in 21s