Skip to content

Commit

Permalink
split up benchmarks and fix git issue
Browse files Browse the repository at this point in the history
  • Loading branch information
keks committed Aug 26, 2024
1 parent e580006 commit 30af7dd
Show file tree
Hide file tree
Showing 2 changed files with 25 additions and 4 deletions.
2 changes: 2 additions & 0 deletions .github/workflows/mlkem-bench.yml
Original file line number Diff line number Diff line change
Expand Up @@ -89,6 +89,8 @@ jobs:
run: |
cargo clean
LIBCRUX_DISABLE_SIMD128=1 LIBCRUX_DISABLE_SIMD256=1 cargo bench --verbose $RUST_TARGET_FLAG -- --output-format bencher | sed 's/^test \(.*\) \.\.\. bench/test portable \1 ... bench/' | tee -a bench.txt
- name: Clear Cargo.toml so it doesn't interfere with git
run: git checkout Cargo.toml
- name: Store benchmarks
uses: benchmark-action/github-action-benchmark@v1
with:
Expand Down
27 changes: 23 additions & 4 deletions .github/workflows/skip-benches-in-prs.yml
Original file line number Diff line number Diff line change
@@ -1,14 +1,33 @@
name: Skip Benchmarks in PRs

on: [ pull_request ]

jobs:
benchmark:
runs-on: ubuntu-latest
strategy:
fail-fast: false
matrix:
bits: [32, 64]
os:
- macos-13
- macos-latest
- ubuntu-latest
- windows-latest
runs-on: ${{ matrix.os }}
steps:
- run: true
benchmarks:
runs-on: ubuntu-latest

benchmark_without_bits:
strategy:
fail-fast: false
matrix:
os:
- macos-13
- macos-latest
- ubuntu-latest
- windows-latest
runs-on: ${{ matrix.os }}
name: "benchmark (${{ matrix.os }})"
steps:
- run: true


0 comments on commit 30af7dd

Please sign in to comment.