From fcff9ad23b66ea399949b77882e02b09b125eb14 Mon Sep 17 00:00:00 2001 From: Iban Eguia Date: Mon, 19 Oct 2020 23:12:59 +0200 Subject: [PATCH] Fix small issue with the CI (#896) --- .github/workflows/pull_request.yml | 2 +- .github/workflows/test262.yml | 16 ++++++++-------- 2 files changed, 9 insertions(+), 9 deletions(-) diff --git a/.github/workflows/pull_request.yml b/.github/workflows/pull_request.yml index db38fe0871..3971e80d34 100644 --- a/.github/workflows/pull_request.yml +++ b/.github/workflows/pull_request.yml @@ -1,4 +1,4 @@ -on: [pull_request_target] +on: [pull_request] name: Benchmarks jobs: runBenchmark: diff --git a/.github/workflows/test262.yml b/.github/workflows/test262.yml index 46da4d0682..142897aa4b 100644 --- a/.github/workflows/test262.yml +++ b/.github/workflows/test262.yml @@ -5,7 +5,7 @@ on: - master tags: - v* - pull_request_target: + pull_request: branches: - master @@ -45,12 +45,12 @@ jobs: run: | cd boa mkdir ../results - cargo run --release --bin boa_tester -- run -o ../results/test262 + cargo run --release --bin boa_tester -- run -v -o ../results/test262 cd .. # Run the results comparison - name: Compare results - if: github.event_name == 'pull_request_target' + if: github.event_name == 'pull_request' id: compare shell: bash run: | @@ -62,12 +62,12 @@ jobs: echo "::set-output name=comment::$comment" - name: Get the PR number - if: github.event_name == 'pull_request_target' + if: github.event_name == 'pull_request' id: pr-number uses: kkak10/pr-number-action@v1.3 - name: Find Previous Comment - if: github.event_name == 'pull_request_target' + if: github.event_name == 'pull_request' uses: peter-evans/find-comment@v1 id: previous-comment with: @@ -75,7 +75,7 @@ jobs: body-includes: Test262 conformance changes - name: Update comment - if: github.event_name == 'pull_request_target' && steps.previous-comment.outputs.comment-id + if: github.event_name == 'pull_request' && steps.previous-comment.outputs.comment-id uses: peter-evans/create-or-update-comment@v1 with: comment-id: ${{ steps.previous-comment.outputs.comment-id }} @@ -83,7 +83,7 @@ jobs: edit-mode: replace - name: Write a new comment - if: github.event_name == 'pull_request_target' && !steps.previous-comment.outputs.comment-id + if: github.event_name == 'pull_request' && !steps.previous-comment.outputs.comment-id uses: peter-evans/create-or-update-comment@v1 with: issue-number: ${{ steps.pr-number.outputs.pr }} @@ -93,7 +93,7 @@ jobs: - name: Commit files if: github.event_name == 'push' run: | - cp ./results/test262/* ./gh-pages/test262/ + cp -r ./results/test262/* ./gh-pages/test262/ cd gh-pages git config --local user.email "action@github.com" git config --local user.name "GitHub Action"