diff --git a/.github/workflows/build_on_pr_push.yml b/.github/workflows/build_on_pr_push.yml new file mode 100644 index 000000000..2812394dd --- /dev/null +++ b/.github/workflows/build_on_pr_push.yml @@ -0,0 +1,20 @@ +# Trigger an AWS build each time commits are pushed to a pull request. +name: PR AWS build trigger + +on: + pull_request: + types: + - synchronize + +jobs: + test: + runs-on: ubuntu-latest + permissions: + pull-requests: write + steps: + - uses: mshick/add-pr-comment@v2 + with: + allow-repeats: true + message: | + @slab-ci cpu-build + @slab-ci gpu-build