Skip to content

Merge upstream (October 4th) #132

Merge upstream (October 4th)

Merge upstream (October 4th) #132

Workflow file for this run

name: Benchmarks
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
on:
push:
branches:
- main
pull_request:
workflow_dispatch:
env:
CARGO_TERM_COLOR: always
jobs:
benchmarks:
strategy:
fail-fast: false
matrix:
os:
- macos-latest
- ubuntu-latest
- windows-latest
runs-on: ${{ matrix.os }}
steps:
- uses: actions/checkout@v4
with:
ref: ${{ github.event.pull_request.head.sha }}
- uses: dtolnay/rust-toolchain@stable
- uses: Swatinem/rust-cache@v2
- name: Benchmarks
run: cargo bench -p openmls --verbose
- name: Large groups
run: |
cargo run -p openmls --example large-groups --release -- --write -g 2 3
cargo run -p openmls --example large-groups --release -- -g 3