From a671a35693eae105df880bac5b5393a62e2bc699 Mon Sep 17 00:00:00 2001 From: "Matthias J. Kannwischer" Date: Wed, 26 Jun 2024 15:57:19 +0800 Subject: [PATCH] Revert "try different username" This reverts commit e15c50b540fa13b65ad2963c0f6507559f848c1b. Signed-off-by: Matthias J. Kannwischer --- .github/workflows/bench.yml | 14 ++++++-------- 1 file changed, 6 insertions(+), 8 deletions(-) diff --git a/.github/workflows/bench.yml b/.github/workflows/bench.yml index 9d5d50194..15dcfd3a4 100644 --- a/.github/workflows/bench.yml +++ b/.github/workflows/bench.yml @@ -15,6 +15,10 @@ jobs: if: github.repository_owner == 'pq-code-package' && (contains(github.event.pull_request.labels.*.name, 'benchmark') || github.ref == 'refs/heads/main') steps: - uses: actions/checkout@v4 + - name: Setup git user + run: | + git config --global user.name "oqs-bot" + git config --global user.email "oqs-bot@pqca.org" - name: Setup nix uses: ./.github/actions/setup-nix with: @@ -37,17 +41,11 @@ jobs: shell: nix develop .#ci -c bash -e {0} run: | tests bench -c PMU --cflags -mcpu=cortex-a72 -v --resultfile output.json - - name: Merge benchmark result + - name: Store benchmark result uses: benchmark-action/github-action-benchmark@v1 with: name: Arm Cortex-A72 (Raspberry Pi 4) benchmarks tool: 'customSmallerIsBetter' output-file-path: output.json github-token: ${{ secrets.GITHUB_TOKEN }} - auto-push: false - - name: Push benchmark results - run: | - git config --global user.name "oqs-bot" - git config --global user.email "oqs-bot@pqca.org" - git push - + auto-push: true