diff options
author | Yuta Saito <kateinoigakukun@gmail.com> | 2023-12-23 13:40:59 +0000 |
---|---|---|
committer | Yuta Saito <kateinoigakukun@gmail.com> | 2023-12-26 02:01:02 +0900 |
commit | 301a7b1e1d668c8537abea81e88553fefaa747b0 (patch) | |
tree | e4b35241561664d8b1eda7ff0439502d78587a37 /.github/workflows/wasm.yml | |
parent | 824ff48adcd47497b8e2993be5144de0e09a4f66 (diff) |
ci: Post Playground link to PR
This commit adds a new workflow `pr-playground.yml` that posts a
Wasm-based PR playground link to the PR when it's labeled with
`playground`.
Diffstat (limited to '.github/workflows/wasm.yml')
-rw-r--r-- | .github/workflows/wasm.yml | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/.github/workflows/wasm.yml b/.github/workflows/wasm.yml index f69df0f58d..8c946eb0cb 100644 --- a/.github/workflows/wasm.yml +++ b/.github/workflows/wasm.yml @@ -140,6 +140,9 @@ jobs: with: name: ruby-wasm-install path: ${{ github.workspace }}/install.tar.gz + - name: Show Playground URL to try the build + run: | + echo "Try on Playground: https://ruby.github.io/play-ruby?run=$GITHUB_RUN_ID" >> $GITHUB_STEP_SUMMARY - name: Run basictest run: wasmtime run ./../build/miniruby --mapdir /::./ -- basictest/test.rb @@ -157,6 +160,16 @@ jobs: SLACK_WEBHOOK_URL: ${{ secrets.SIMPLER_ALERTS_URL }} # ruby-lang slack: ruby/simpler-alerts-bot if: ${{ failure() }} + # Workaround for https://github.com/orgs/community/discussions/25220 + - name: Save Pull Request number + if: ${{ github.event_name == 'pull_request' }} + run: echo "${{ github.event.pull_request.number }}" >> ./github-pr-info.txt + - uses: actions/upload-artifact@a8a3f3ad30e3422c9c7b888a15615d19a852ae32 # v3.1.3 + if: ${{ github.event_name == 'pull_request' }} + with: + name: github-pr-info + path: github-pr-info.txt + defaults: run: working-directory: build |