Add a benchmark github workflow

This commit is contained in:
Clément Renault 2019-12-13 14:17:07 +01:00
parent 951f0bcb10
commit a8272f0eef
No known key found for this signature in database
GPG Key ID: 0151CDAB43460DAE

15
.github/workflows/benchmarks.yml vendored Normal file
View File

@ -0,0 +1,15 @@
---
on: [pull_request]
name: Benchmark pull requests
jobs:
runBenchmark:
name: run benchmark
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@master
- name: run benchmark
uses: matchai/criterion-compare-action@master
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}