Skip to content
Test external projects

add foundryup to test-external.yml #465

Sign in to view logs

add foundryup to test-external.yml

add foundryup to test-external.yml #465

Triggered via push November 8, 2024 19:07
@karmacoma-ethkarmacoma-eth
pushed 067e1be
chore-workflows
Status Failure
Total duration 45s
Artifacts –

test-external.yml

on: push
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

20 errors
test (--cache-solver, pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract MathT...
Process completed with exit code 127.
test (--cache-solver, a16z/cicada, cicada, --contract LibPrimeTest --function testProve --loop 256)
Process completed with exit code 127.
test (--cache-solver, morpho-org/morpho-data-structures, morpho-data-structures, --function testP...
Process completed with exit code 127.
test (pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract ERC721TestHalmos, hal...
Process completed with exit code 127.
test (--cache-solver, farcasterxyz/contracts, farcaster-contracts)
Process completed with exit code 127.
test (a16z/cicada, cicada, --contract LibPrimeTest --function testProve --loop 256)
Process completed with exit code 127.
test (pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract MathTestHalmos, halmos)
Process completed with exit code 127.
test (morpho-org/morpho-data-structures, morpho-data-structures, --function testProve --loop 4)
Process completed with exit code 127.
test (pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract ERC1155TestHalmos, ha...
Process completed with exit code 127.
test (--cache-solver, zobront/halmos-solady, halmos-solady, --function testCheck)
Process completed with exit code 127.
test (--cache-solver, pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract ERC20...
Process completed with exit code 127.
test (morpho-org/morpho-blue, morpho-blue, test)
Process completed with exit code 127.
test (zobront/halmos-solady, halmos-solady, --function testCheck)
Process completed with exit code 127.
test (--cache-solver, pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract ERC72...
Process completed with exit code 127.
test (--cache-solver, a16z/cicada, cicada, --contract LibUint1024Test --function testProve --loop...
Process completed with exit code 127.
test (--cache-solver, pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract ERC11...
Process completed with exit code 127.
test (a16z/cicada, cicada, --contract LibUint1024Test --function testProve --loop 256)
Process completed with exit code 127.
test (--cache-solver, morpho-org/morpho-blue, morpho-blue, test)
Process completed with exit code 127.
test (pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract ERC20TestHalmos, halmos)
Process completed with exit code 127.
test (farcasterxyz/contracts, farcaster-contracts)
Process completed with exit code 127.