Skip to content

Commit

Permalink
test(setting-up-ci): add deep-invariant ci sttings
Browse files Browse the repository at this point in the history
  • Loading branch information
alexandr-masl committed Sep 11, 2024
1 parent 316d557 commit 16de33c
Show file tree
Hide file tree
Showing 2 changed files with 62 additions and 0 deletions.
31 changes: 31 additions & 0 deletions .github/workflows/deep-fuzz-and-invariant.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,31 @@
name: Deep Fuzz and Invariant Tests
on:
push:
branches:
- development
paths:
- '**.sol'

jobs:
deep-fuzz-and-invariant:
name: Run Deep Fuzz and Invariant Tests
runs-on: ubuntu-22.04
env:
FOUNDRY_PROFILE: intense

steps:
- name: Checkout repository
uses: actions/checkout@v3

- name: Setup Foundry
uses: foundry-rs/foundry-toolchain@v1
with:
version: nightly-5be158ba6dc7c798a6f032026fe60fc01686b33b

- name: Forge install
working-directory: packages/contracts
run: forge install

- name: Run Deep Fuzz and Invariant Tests
working-directory: packages/contracts
run: forge test
31 changes: 31 additions & 0 deletions .github/workflows/deep-invariant.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,31 @@
name: Invariant Tests
on:
push:
branches:
- development
paths:
- '**.sol'

jobs:
invariant-tests:
name: Run Invariant Tests
runs-on: ubuntu-22.04
env:
FOUNDRY_PROFILE: intense

steps:
- name: Checkout repository
uses: actions/checkout@v3

- name: Setup Foundry
uses: foundry-rs/toolchain@v1
with:
version: nightly-5be158ba6dc7c79a8f6302026fe60fc01606b33b

- name: Forge install
working-directory: packages/contracts
run: forge install

- name: Run Invariant Tests
working-directory: packages/contracts
run: forge test

0 comments on commit 16de33c

Please sign in to comment.