♻️ Update .gas-snapshot Files
#725
Workflow file for this run
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: 👁️ Halmos symbolic tests | |
| on: | |
| push: | |
| pull_request: | |
| workflow_dispatch: | |
| schedule: | |
| - cron: "30 3 * * *" | |
| concurrency: | |
| group: ${{ github.workflow }}-${{ github.ref }} | |
| cancel-in-progress: true | |
| jobs: | |
| halmos: | |
| runs-on: ${{ matrix.os }} | |
| strategy: | |
| matrix: | |
| os: | |
| - ubuntu-latest | |
| python_version: | |
| - 3.14 | |
| architecture: | |
| - x64 | |
| halmos: | |
| - "--config test/halmos.toml" | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v5 | |
| with: | |
| submodules: recursive | |
| - name: Setup Python | |
| uses: actions/setup-python@v6 | |
| with: | |
| python-version: ${{ matrix.python_version }} | |
| architecture: ${{ matrix.architecture }} | |
| - name: Install Vyper | |
| run: pip install git+https://github.com/vyperlang/vyper.git@master | |
| - name: Show the Vyper version | |
| run: vyper --version | |
| - name: Install Foundry | |
| uses: foundry-rs/foundry-toolchain@v1 | |
| with: | |
| version: nightly | |
| - name: Install `setuptools` | |
| run: pip install setuptools | |
| - name: Install Halmos | |
| run: pip install git+https://github.com/a16z/halmos.git@main | |
| - name: Show the Halmos version | |
| run: halmos --version | |
| - name: Show the Foundry Halmos config | |
| run: forge config | |
| env: | |
| FOUNDRY_PROFILE: halmos | |
| FOUNDRY_DISABLE_NIGHTLY_WARNING: "1" | |
| - name: Run Halmos ERC-20 symbolic tests | |
| run: halmos --contract ERC20TestHalmos ${{ matrix.halmos }} | |
| env: | |
| FOUNDRY_PROFILE: halmos | |
| FOUNDRY_DISABLE_NIGHTLY_WARNING: "1" | |
| - name: Run Halmos ERC-721 symbolic tests | |
| run: halmos --contract ERC721TestHalmos ${{ matrix.halmos }} | |
| env: | |
| FOUNDRY_PROFILE: halmos | |
| FOUNDRY_DISABLE_NIGHTLY_WARNING: "1" | |
| - name: Run Halmos ERC-1155 symbolic tests | |
| run: halmos --contract ERC1155TestHalmos ${{ matrix.halmos }} | |
| env: | |
| FOUNDRY_PROFILE: halmos | |
| FOUNDRY_DISABLE_NIGHTLY_WARNING: "1" | |
| - name: Run Halmos math symbolic tests | |
| run: halmos --contract MathTestHalmos ${{ matrix.halmos }} | |
| env: | |
| FOUNDRY_PROFILE: halmos | |
| FOUNDRY_DISABLE_NIGHTLY_WARNING: "1" |