Skip to content

Commit

Permalink
👷 Disable Foundry Warnings
Browse files Browse the repository at this point in the history
Signed-off-by: Pascal Marco Caversaccio <[email protected]>
  • Loading branch information
pcaversaccio committed Jan 22, 2025
1 parent aa9e3e0 commit e9a9eed
Show file tree
Hide file tree
Showing 6 changed files with 16 additions and 2 deletions.
2 changes: 1 addition & 1 deletion .github/workflows/checks.yml
Original file line number Diff line number Diff line change
Expand Up @@ -89,7 +89,7 @@ jobs:
os:
- ubuntu-latest
ruby_version:
- 3.3
- 3.4

steps:
- name: Checkout
Expand Down
1 change: 1 addition & 0 deletions .github/workflows/halmos-venom.yml
Original file line number Diff line number Diff line change
Expand Up @@ -65,6 +65,7 @@ jobs:
run: forge config
env:
FOUNDRY_PROFILE: halmos-venom
FOUNDRY_DISABLE_NIGHTLY_WARNING: "1"

- name: Run Halmos ERC-20 symbolic tests
run: halmos --contract ERC20TestHalmos ${{ matrix.halmos }}
Expand Down
1 change: 1 addition & 0 deletions .github/workflows/halmos.yml
Original file line number Diff line number Diff line change
Expand Up @@ -65,6 +65,7 @@ jobs:
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 }}
Expand Down
6 changes: 6 additions & 0 deletions .github/workflows/test-contracts-venom.yml
Original file line number Diff line number Diff line change
Expand Up @@ -72,21 +72,25 @@ jobs:
run: forge config
env:
FOUNDRY_PROFILE: ci-venom
FOUNDRY_DISABLE_NIGHTLY_WARNING: "1"

- name: Foundry tests
run: forge test
env:
FOUNDRY_PROFILE: ci-venom
FOUNDRY_DISABLE_NIGHTLY_WARNING: "1"

- name: Show the Foundry default config
run: forge config
env:
FOUNDRY_PROFILE: default-venom
FOUNDRY_DISABLE_NIGHTLY_WARNING: "1"

- name: Run snapshot
run: NO_COLOR=1 forge snapshot >> $GITHUB_STEP_SUMMARY
env:
FOUNDRY_PROFILE: default-venom
FOUNDRY_DISABLE_NIGHTLY_WARNING: "1"

- name: Install Homebrew
uses: Homebrew/actions/setup-homebrew@master
Expand All @@ -101,11 +105,13 @@ jobs:
run: forge config
env:
FOUNDRY_PROFILE: echidna-venom
FOUNDRY_DISABLE_NIGHTLY_WARNING: "1"

- name: Compile the Echidna test contracts
run: forge build --build-info
env:
FOUNDRY_PROFILE: echidna-venom
FOUNDRY_DISABLE_NIGHTLY_WARNING: "1"

- name: Run Echidna ERC-20 property tests
run: echidna test/tokens/echidna/ERC20Properties.sol --contract CryticERC20ExternalHarness ${{ matrix.echidna }}
Expand Down
6 changes: 6 additions & 0 deletions .github/workflows/test-contracts.yml
Original file line number Diff line number Diff line change
Expand Up @@ -83,21 +83,25 @@ jobs:
run: forge config
env:
FOUNDRY_PROFILE: ci
FOUNDRY_DISABLE_NIGHTLY_WARNING: "1"

- name: Foundry tests
run: forge test
env:
FOUNDRY_PROFILE: ci
FOUNDRY_DISABLE_NIGHTLY_WARNING: "1"

- name: Show the Foundry default config
run: forge config
env:
FOUNDRY_PROFILE: default
FOUNDRY_DISABLE_NIGHTLY_WARNING: "1"

- name: Run snapshot
run: NO_COLOR=1 forge snapshot >> $GITHUB_STEP_SUMMARY
env:
FOUNDRY_PROFILE: default
FOUNDRY_DISABLE_NIGHTLY_WARNING: "1"

- name: Install Homebrew
uses: Homebrew/actions/setup-homebrew@master
Expand All @@ -112,11 +116,13 @@ jobs:
run: forge config
env:
FOUNDRY_PROFILE: echidna
FOUNDRY_DISABLE_NIGHTLY_WARNING: "1"

- name: Compile the Echidna test contracts
run: forge build --build-info
env:
FOUNDRY_PROFILE: echidna
FOUNDRY_DISABLE_NIGHTLY_WARNING: "1"

- name: Run Echidna ERC-20 property tests
run: echidna test/tokens/echidna/ERC20Properties.sol --contract CryticERC20ExternalHarness ${{ matrix.echidna }}
Expand Down
2 changes: 1 addition & 1 deletion lib/forge-std

0 comments on commit e9a9eed

Please sign in to comment.