Skip to content
Test

dedockerize test.yml (to do the test matrix on every OS) #694

Sign in to view logs

dedockerize test.yml (to do the test matrix on every OS)

dedockerize test.yml (to do the test matrix on every OS) #694

Workflow file for this run

.github/workflows/test.yml at 153ce94
name: Test
on:
push:
branches: [main, chore-workflows]
paths:
- .github/workflows/test.yml
pull_request:
branches: [main]
workflow_dispatch:
jobs:
test:
runs-on: ${{ matrix.os }}
strategy:
fail-fast: false
matrix:
os: ["macos-latest", "ubuntu-latest", "windows-latest"]
python-version: ["3.9", "3.10", "3.11", "3.12"]
parallel: ["", "--test-parallel"]
storage-layout: ["solidity", "generic"]
steps:
- name: Checkout repository
uses: actions/checkout@v4
with:
submodules: false
- name: Install foundry
uses: foundry-rs/foundry-toolchain@v1
- name: Set up python ${{ matrix.python-version }}
uses: actions/setup-python@v5
with:
python-version: ${{ matrix.python-version }}
- name: Install dependencies
run: |
python -m pip install --upgrade pip
python -m pip install -r requirements-dev.txt
- name: Install halmos
run: python -m pip install -e .
- name: Run pytest
run: pytest -n 4 -v -k "not long and not ffi" --ignore=tests/lib --halmos-options="-v -st ${{ matrix.parallel }} --storage-layout ${{ matrix.storage-layout }} --solver-timeout-assertion 0"