Skip to content
Halmos

fix little inaccuracy in domain separator docs #105

Sign in to view logs

fix little inaccuracy in domain separator docs

fix little inaccuracy in domain separator docs #105

Workflow file for this run

.github/workflows/halmos.yml at fb814d4
name: Halmos
on:
push:
branches:
- main
pull_request:
workflow_dispatch:
jobs:
verify:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
with:
submodules: recursive
- name: Install python
uses: actions/setup-python@v5
with:
python-version: ">=3.9"
- name: Install Foundry
uses: foundry-rs/foundry-toolchain@v1
- name: Install halmos
run: pip install halmos
- name: Run Halmos
run: FOUNDRY_PROFILE=test halmos