Skip to content

Initial medusa support for the CI #15

Initial medusa support for the CI

Initial medusa support for the CI #15

Workflow file for this run

name: Test examples using Echidna
on:
push:
branches:
- main
pull_request:
branches:
- "*"
env:
FOUNDRY_PROFILE: ci
jobs:
foundry:
name: Test Foundry examples
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@v3
with:
submodules: recursive
- name: Install Foundry
uses: foundry-rs/foundry-toolchain@v1
with:
version: nightly
- name: Compile ERC20 Foundry example
working-directory: tests/ERC20/foundry
run: forge build --build-info
- name: Run Echidna against ERC20 Internal Foundry example
uses: crytic/echidna-action@v2
with:
echidna-workdir: ./tests/ERC20/foundry
files: .
config: ./echidna-config.yaml
crytic-args: --ignore-compile
contract: CryticERC20InternalHarness
- name: Run Echidna against ERC20 External Foundry example
uses: crytic/echidna-action@v2
with:
echidna-workdir: ./tests/ERC20/foundry
files: .
config: ./echidna-config-ext.yaml
crytic-args: --ignore-compile
contract: CryticERC20ExternalHarness
- name: Compile ERC721 Foundry example
working-directory: tests/ERC721/foundry
run: forge build --build-info
- name: Run Echidna against ERC721 Internal Foundry example
uses: crytic/echidna-action@v2
with:
echidna-workdir: ./tests/ERC721/foundry
files: .
config: ./echidna-config.yaml
crytic-args: --ignore-compile
contract: CryticERC721InternalHarness
- name: Run Echidna against ERC721 External Foundry example
uses: crytic/echidna-action@v2
with:
echidna-workdir: ./tests/ERC721/foundry
files: .
config: ./echidna-config-ext.yaml
crytic-args: --ignore-compile
contract: CryticERC721ExternalHarness
- name: Compile ERC4646 Foundry example
working-directory: tests/ERC4626/foundry
run: forge build --build-info
- name: Run Echidna against ERC4626 Foundry example
uses: crytic/echidna-action@v2
with:
echidna-workdir: ./tests/ERC4626/foundry
files: .
config: ./echidna.yaml
crytic-args: --ignore-compile
contract: CryticERC4626InternalHarness
hardhat:
name: Test Hardhat examples
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@v3
with:
submodules: recursive
- name: Set up Nodejs
uses: actions/setup-node@v3
with:
node-version: 16
- name: Install dependencies and compile ERC20 example
working-directory: tests/ERC20/hardhat
run: |
npm ci
npx hardhat compile --force
- name: Run Echidna for Internal tests
uses: crytic/echidna-action@v2
with:
echidna-workdir: ./tests/ERC20/hardhat
files: .
config: ./tests/echidna-config.yaml
crytic-args: --ignore-compile
contract: CryticERC20InternalHarness
- name: Run Echidna for External tests
uses: crytic/echidna-action@v2
with:
echidna-workdir: ./tests/ERC20/hardhat
files: .
config: ./tests/echidna-config-ext.yaml
crytic-args: --ignore-compile
contract: CryticERC20ExternalHarness
- name: Install dependencies and compile ERC721 example
working-directory: tests/ERC721/hardhat
run: |
npm ci
npx hardhat compile --force
- name: Run Echidna for Internal tests
uses: crytic/echidna-action@v2
with:
echidna-workdir: ./tests/ERC721/hardhat
files: .
config: ./tests/echidna-config.yaml
crytic-args: --ignore-compile
contract: CryticERC721InternalHarness
- name: Run Echidna for External tests
uses: crytic/echidna-action@v2
with:
echidna-workdir: ./tests/ERC721/hardhat
files: .
config: ./tests/echidna-config-ext.yaml
crytic-args: --ignore-compile
contract: CryticERC721ExternalHarness
- name: Install dependencies and compile ERC4626 example
working-directory: tests/ERC4626/hardhat
run: |
npm ci
npx hardhat compile --force
- name: Run Echidna
uses: crytic/echidna-action@v2
with:
echidna-workdir: ./tests/ERC4626/hardhat
files: .
config: tests/echidna-config.yaml
crytic-args: --ignore-compile
contract: CryticERC4626Harness