Pull from runtimeverification in Performance workflow

ttuegel · ttuegel · commit 2a7cec795475 · 2021-04-28T11:15:54.000-05:00
diff --git a/.github/workflows/performance.yml b/.github/workflows/performance.yml
@@ -24,6 +24,7 @@ jobs:
         uses: cachix/cachix-action@v8
         with:
           name: kore
+          extraPullNames: runtimeverification
           signingKey: '${{ secrets.KORE_CACHIX_SIGNING_KEY }}'
           skipPush: true
 
