From be2a377aafec3c76ef5179847ce22acedeb0ac0c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20Test=C3=A9?= <david.teste@fratris.fr>
Date: Wed, 11 Jan 2023 11:49:55 +0100
Subject: [PATCH] chore(ci): automaticaly trigger aws build on commit push in
 pr

---
 .github/workflows/build_on_pr_push.yml | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 .github/workflows/build_on_pr_push.yml

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