From e9a9eed74b89ad1cd01b8d1a83734e453f1cf61d Mon Sep 17 00:00:00 2001 From: Pascal Marco Caversaccio Date: Wed, 22 Jan 2025 11:22:11 +0100 Subject: [PATCH] =?UTF-8?q?=F0=9F=91=B7=20Disable=20Foundry=20Warnings?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Pascal Marco Caversaccio --- .github/workflows/checks.yml | 2 +- .github/workflows/halmos-venom.yml | 1 + .github/workflows/halmos.yml | 1 + .github/workflows/test-contracts-venom.yml | 6 ++++++ .github/workflows/test-contracts.yml | 6 ++++++ lib/forge-std | 2 +- 6 files changed, 16 insertions(+), 2 deletions(-) diff --git a/.github/workflows/checks.yml b/.github/workflows/checks.yml index 4cc23803..72db9775 100644 --- a/.github/workflows/checks.yml +++ b/.github/workflows/checks.yml @@ -89,7 +89,7 @@ jobs: os: - ubuntu-latest ruby_version: - - 3.3 + - 3.4 steps: - name: Checkout diff --git a/.github/workflows/halmos-venom.yml b/.github/workflows/halmos-venom.yml index 705466c6..968e7aa1 100644 --- a/.github/workflows/halmos-venom.yml +++ b/.github/workflows/halmos-venom.yml @@ -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 }} diff --git a/.github/workflows/halmos.yml b/.github/workflows/halmos.yml index ab475952..768b26f5 100644 --- a/.github/workflows/halmos.yml +++ b/.github/workflows/halmos.yml @@ -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 }} diff --git a/.github/workflows/test-contracts-venom.yml b/.github/workflows/test-contracts-venom.yml index fbc560e6..652211eb 100644 --- a/.github/workflows/test-contracts-venom.yml +++ b/.github/workflows/test-contracts-venom.yml @@ -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 @@ -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 }} diff --git a/.github/workflows/test-contracts.yml b/.github/workflows/test-contracts.yml index 37d8e6de..cb44d0e3 100644 --- a/.github/workflows/test-contracts.yml +++ b/.github/workflows/test-contracts.yml @@ -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 @@ -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 }} diff --git a/lib/forge-std b/lib/forge-std index 726a6ee5..999be66e 160000 --- a/lib/forge-std +++ b/lib/forge-std @@ -1 +1 @@ -Subproject commit 726a6ee5fc8427a0013d6f624e486c9130c0e336 +Subproject commit 999be66ec94c78090087f674bbf52ce1cca12b75