Test external projects

docs: Fix grammatical error getting-started.md (#424) #490

Sign in to view logs

Triggered via push December 7, 2024 00:54

main

Status Success

Total duration 19m 22s

Artifacts –

test-external.yml

on: push

Matrix: test

Annotations

20 warnings

test (morpho-org/morpho-data-structures, morpho-data-structures, --function testProve --loop 4 --...

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

test (--cache-solver, morpho-org/morpho-data-structures, morpho-data-structures, --function testP...

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

test (farcasterxyz/contracts, farcaster-contracts, --solver-command yices-smt2 --solver-threads 3)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

test (--cache-solver, farcasterxyz/contracts, farcaster-contracts, --solver-command yices-smt2 --...

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

test (pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract ERC20TestHalmos --sol...

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

test (--cache-solver, pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract ERC20...

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

test (pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract ERC721TestHalmos --so...

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

test (zobront/halmos-solady, halmos-solady, --function testCheck --solver-command yices-smt2 --so...

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

test (--cache-solver, pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract ERC72...

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

test (morpho-org/morpho-blue, morpho-blue, --solver-command yices-smt2 --solver-threads 3, test)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

test (--cache-solver, morpho-org/morpho-blue, morpho-blue, --solver-command yices-smt2 --solver-t...

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

test (a16z/cicada, cicada, --contract LibUint1024Test --function testProve --loop 256 --solver-co...

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

test (a16z/cicada, cicada, --contract LibPrimeTest --function testProve --loop 256 --solver-comma...

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

test (--cache-solver, a16z/cicada, cicada, --contract LibPrimeTest --function testProve --loop 25...

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

test (--cache-solver, a16z/cicada, cicada, --contract LibUint1024Test --function testProve --loop...

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

test (--cache-solver, pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract MathT...

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

test (pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract MathTestHalmos --solv...

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

test (--cache-solver, pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract ERC11...

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

test (pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract ERC1155TestHalmos --s...

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

test (--cache-solver, zobront/halmos-solady, halmos-solady, --function testCheck --solver-command...

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636