From 0ddfb9132888e69f593404a79a4c73aef7ff2a78 Mon Sep 17 00:00:00 2001 From: Tomas Fabrizio Orsi Date: Wed, 29 Jan 2025 15:50:30 -0300 Subject: [PATCH] Revert "fix: ci: avoid failing the CI if the bench result is not present" This reverts commit 8595dd880886090c29dff83685ed3de3bc3e9ecc. --- .github/workflows/ci_bench_levm_in_pr.yaml | 28 +++++++++++----------- 1 file changed, 14 insertions(+), 14 deletions(-) diff --git a/.github/workflows/ci_bench_levm_in_pr.yaml b/.github/workflows/ci_bench_levm_in_pr.yaml index 5579afa8b5..7b44aaf69d 100644 --- a/.github/workflows/ci_bench_levm_in_pr.yaml +++ b/.github/workflows/ci_bench_levm_in_pr.yaml @@ -38,19 +38,19 @@ jobs: make revm-comparison-ci { echo "#### Benchmark Results: Factorial"; - cat Factorial.md || echo "No results"; + cat Factorial.md; echo "#### Benchmark Results: Factorial - Recursive"; - cat FactorialRecursive.md || echo "No results"; + cat FactorialRecursive.md; echo "#### Benchmark Results: Fibonacci"; - cat Fibonacci.md || echo "No results"; + cat Fibonacci.md; echo "#### Benchmark Results: ManyHashes"; - cat ManyHashes.md || echo "No results"; + cat ManyHashes.md; echo "#### Benchmark Results: ERC20 - Transfer"; - cat ERC20Transfer.md || echo "No results"; + cat ERC20Transfer.md; echo "#### Benchmark Results: ERC20 - Mint"; - cat ERC20Mint.md || echo "No results"; + cat ERC20Mint.md; echo "#### Benchmark Results: ERC20 - Approval"; - cat ERC20Approval.md || echo "No results"; + cat ERC20Approval.md; } > pr_result.md - name: Upload PR results @@ -90,19 +90,19 @@ jobs: make revm-comparison-ci { echo "#### Benchmark Results: Factorial"; - cat Factorial.md || echo "No results"; + cat Factorial.md; echo "#### Benchmark Results: Factorial - Recursive"; - cat FactorialRecursive.md || echo "No results"; + cat FactorialRecursive.md; echo "#### Benchmark Results: Fibonacci"; - cat Fibonacci.md || echo "No results"; + cat Fibonacci.md; echo "#### Benchmark Results: ManyHashes"; - cat ManyHashes.md || echo "No results"; + cat ManyHashes.md; echo "#### Benchmark Results: ERC20 - Transfer"; - cat ERC20Transfer.md || echo "No results"; + cat ERC20Transfer.md; echo "#### Benchmark Results: ERC20 - Mint"; - cat ERC20Mint.md || echo "No results"; + cat ERC20Mint.md; echo "#### Benchmark Results: ERC20 - Approval"; - cat ERC20Approval.md || echo "No results"; + cat ERC20Approval.md; } > main_result.md - name: Upload main results