From bc113a8752bd6924860a0afd32c78fc1f1d32dd6 Mon Sep 17 00:00:00 2001 From: Zyad Hassan Date: Thu, 4 Apr 2024 16:04:28 -0700 Subject: [PATCH 1/2] Remove unnecessary build step for perf flows --- .github/workflows/bench.yml | 6 ------ .github/workflows/kani.yml | 3 --- 2 files changed, 9 deletions(-) diff --git a/.github/workflows/bench.yml b/.github/workflows/bench.yml index ad0bbf81f2c2..12b08eba7c9c 100644 --- a/.github/workflows/bench.yml +++ b/.github/workflows/bench.yml @@ -55,12 +55,6 @@ jobs: os: ubuntu-20.04 kani_dir: new - - name: Build Kani (new variant) - run: pushd new && cargo build-dev - - - name: Build Kani (old variant) - run: pushd old && cargo build-dev - - name: Copy benchmarks from new to old run: rm -rf ./old/tests/perf ; cp -r ./new/tests/perf ./old/tests/ diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml index abdc4ee46216..c2e9c2d5993d 100644 --- a/.github/workflows/kani.yml +++ b/.github/workflows/kani.yml @@ -88,9 +88,6 @@ jobs: with: os: ubuntu-20.04 - - name: Build Kani using release mode - run: cargo build-dev -- --release - - name: Execute Kani performance tests run: ./scripts/kani-perf.sh env: From 1663604e5210678da2f354aa0dc2388593f96a94 Mon Sep 17 00:00:00 2001 From: Zyad Hassan Date: Thu, 4 Apr 2024 16:20:03 -0700 Subject: [PATCH 2/2] Remove more unnecessary builds --- .github/workflows/cbmc-latest.yml | 4 ---- .github/workflows/kani-m1.yml | 3 --- .github/workflows/kani.yml | 3 --- 3 files changed, 10 deletions(-) diff --git a/.github/workflows/cbmc-latest.yml b/.github/workflows/cbmc-latest.yml index d8da02d21840..f707c5d558a5 100644 --- a/.github/workflows/cbmc-latest.yml +++ b/.github/workflows/cbmc-latest.yml @@ -32,10 +32,6 @@ jobs: os: ${{ matrix.os }} kani_dir: 'kani' - - name: Build Kani - working-directory: ./kani - run: cargo build-dev - - name: Checkout CBMC under "cbmc" uses: actions/checkout@v4 with: diff --git a/.github/workflows/kani-m1.yml b/.github/workflows/kani-m1.yml index 36f2b615c4aa..0f884f2fe013 100644 --- a/.github/workflows/kani-m1.yml +++ b/.github/workflows/kani-m1.yml @@ -23,8 +23,5 @@ jobs: with: os: macos-13-xlarge - - name: Build Kani - run: cargo build-dev - - name: Execute Kani regression run: ./scripts/kani-regression.sh diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml index c2e9c2d5993d..870b40fd9f2d 100644 --- a/.github/workflows/kani.yml +++ b/.github/workflows/kani.yml @@ -27,9 +27,6 @@ jobs: with: os: ${{ matrix.os }} - - name: Build Kani - run: cargo build-dev - - name: Execute Kani regression run: ./scripts/kani-regression.sh