Skip to content

Rename CannotCidOr, API for creating powerlines & more #107

Rename CannotCidOr, API for creating powerlines & more

Rename CannotCidOr, API for creating powerlines & more #107

Workflow file for this run

name: 📈 Benchmark
on:
push:
branches: [ main ]
pull_request:
branches: [ '**' ]
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
jobs:
benchmark:
runs-on: ubuntu-latest
steps:
- name: Checkout Repository
uses: actions/checkout@v4
- name: Install Rust Toolchain
uses: actions-rs/toolchain@v1
with:
override: true
toolchain: stable
- name: Cache Project
uses: Swatinem/rust-cache@v2
- name: Run Benchmark
run: cargo bench --features test_utils -- --output-format bencher | tee output.txt
- name: Upload Benchmark Result Artifact
uses: actions/upload-artifact@v3
with:
name: bench_result
path: output.txt
- name: Create gh-pages Branch
uses: peterjgrainger/[email protected]
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
with:
branch: gh-pages
- name: Store Benchmark Result
uses: benchmark-action/github-action-benchmark@v1
with:
name: Rust Benchmark
tool: 'cargo'
output-file-path: output.txt
github-token: ${{ secrets.GITHUB_TOKEN }}
auto-push: ${{ github.event_name == 'push' && github.repository == 'ucan-wg/ucan' && github.ref == 'refs/heads/main' }}
alert-threshold: '200%'
comment-on-alert: true
fail-on-alert: true
alert-comment-cc-users: '@ucan-wg'