Browse Source

Fix small issue with the CI (#896)

pull/897/head
Iban Eguia 4 years ago committed by GitHub
parent
commit
fcff9ad23b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 2
      .github/workflows/pull_request.yml
  2. 16
      .github/workflows/test262.yml

2
.github/workflows/pull_request.yml

@ -1,4 +1,4 @@
on: [pull_request_target] on: [pull_request]
name: Benchmarks name: Benchmarks
jobs: jobs:
runBenchmark: runBenchmark:

16
.github/workflows/test262.yml

@ -5,7 +5,7 @@ on:
- master - master
tags: tags:
- v* - v*
pull_request_target: pull_request:
branches: branches:
- master - master
@ -45,12 +45,12 @@ jobs:
run: | run: |
cd boa cd boa
mkdir ../results mkdir ../results
cargo run --release --bin boa_tester -- run -o ../results/test262 cargo run --release --bin boa_tester -- run -v -o ../results/test262
cd .. cd ..
# Run the results comparison # Run the results comparison
- name: Compare results - name: Compare results
if: github.event_name == 'pull_request_target' if: github.event_name == 'pull_request'
id: compare id: compare
shell: bash shell: bash
run: | run: |
@ -62,12 +62,12 @@ jobs:
echo "::set-output name=comment::$comment" echo "::set-output name=comment::$comment"
- name: Get the PR number - name: Get the PR number
if: github.event_name == 'pull_request_target' if: github.event_name == 'pull_request'
id: pr-number id: pr-number
uses: kkak10/pr-number-action@v1.3 uses: kkak10/pr-number-action@v1.3
- name: Find Previous Comment - name: Find Previous Comment
if: github.event_name == 'pull_request_target' if: github.event_name == 'pull_request'
uses: peter-evans/find-comment@v1 uses: peter-evans/find-comment@v1
id: previous-comment id: previous-comment
with: with:
@ -75,7 +75,7 @@ jobs:
body-includes: Test262 conformance changes body-includes: Test262 conformance changes
- name: Update comment - 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 uses: peter-evans/create-or-update-comment@v1
with: with:
comment-id: ${{ steps.previous-comment.outputs.comment-id }} comment-id: ${{ steps.previous-comment.outputs.comment-id }}
@ -83,7 +83,7 @@ jobs:
edit-mode: replace edit-mode: replace
- name: Write a new comment - 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 uses: peter-evans/create-or-update-comment@v1
with: with:
issue-number: ${{ steps.pr-number.outputs.pr }} issue-number: ${{ steps.pr-number.outputs.pr }}
@ -93,7 +93,7 @@ jobs:
- name: Commit files - name: Commit files
if: github.event_name == 'push' if: github.event_name == 'push'
run: | run: |
cp ./results/test262/* ./gh-pages/test262/ cp -r ./results/test262/* ./gh-pages/test262/
cd gh-pages cd gh-pages
git config --local user.email "action@github.com" git config --local user.email "action@github.com"
git config --local user.name "GitHub Action" git config --local user.name "GitHub Action"

Loading…
Cancel
Save