Provide manual benchmark workflow (#112)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 6c499d4ba6b018be9a3dfee8e42543766c5c9d83..d08f4158b0f53be1a5c125fa361442bb8a7516bf 100644 (file)
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -5,6 +5,11 @@ on:
     branches:
       - master
   pull_request:
+  workflow_dispatch:
+    inputs:
+      withBenchmark:
+        description: 'With Benchmark?'
+        default: false
 
 jobs:
   build:
@@ -44,3 +49,7 @@ jobs:
           npm run coverage
         env:
           CI: true
+
+      - name: Benchmark
+        if: github.event.inputs.withBenchmark
+        run: npm run benchmark