diff options
| author | Lukas Larsson <lukas@erlang.org> | 2022-09-23 19:59:05 +0200 |
|---|---|---|
| committer | Lukas Larsson <lukas@erlang.org> | 2022-09-23 20:04:50 +0200 |
| commit | c5bccbcd613ddd1a661383c264c534f533d8502b (patch) | |
| tree | 59c735ba49db481dd310a11f64c623a593f8c345 /.github/workflows | |
| parent | 7ec9826eb7925105840ffcc76bd7ef6932e91057 (diff) | |
| download | erlang-c5bccbcd613ddd1a661383c264c534f533d8502b.tar.gz | |
gh: Move CT PR Publish
Sometimes the upload steps fails and then we still want
to update the comment and add test results.
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/pr-comment.yaml | 21 |
1 files changed, 11 insertions, 10 deletions
diff --git a/.github/workflows/pr-comment.yaml b/.github/workflows/pr-comment.yaml index 1b813d9cd6..4ae88c38aa 100644 --- a/.github/workflows/pr-comment.yaml +++ b/.github/workflows/pr-comment.yaml @@ -85,6 +85,16 @@ jobs: repository: 'erlang/erlang.github.io' path: erlang.github.io + - name: Publish CT Test Results + uses: EnricoMi/publish-unit-test-result-action@v1 + if: steps.extract.outputs.HAS_TEST_ARTIFACTS == 'true' + with: + commit: ${{ github.event.workflow_run.head_sha }} + event_file: artifacts/Event File/event.json + event_name: ${{ github.event.workflow_run.event }} + check_name: "CT Test Results" + files: "artifacts/**/*.xml" + - name: Upload PR to github pages env: GITHUB_TOKEN: ${{secrets.GITHUB_TOKEN}} @@ -105,19 +115,10 @@ jobs: repository-name: erlang/erlang.github.io single-commit: true - - name: Publish CT Test Results - uses: EnricoMi/publish-unit-test-result-action@v1 - if: steps.extract.outputs.HAS_TEST_ARTIFACTS == 'true' - with: - commit: ${{ github.event.workflow_run.head_sha }} - event_file: artifacts/Event File/event.json - event_name: ${{ github.event.workflow_run.event }} - check_name: "CT Test Results" - files: "artifacts/**/*.xml" - ## Append some usefull links and tips to the test results posted by ## Publish CT Test Results - uses: actions/github-script@v5 + if: always() with: script: | const script = require('./.github/scripts/pr-comment.js'); |