From 4d8e8b987c8452b24538df9c6bcc9b2c89cb12c5 Mon Sep 17 00:00:00 2001
From: Boris Zbarsky <bzbarsky@apple.com>
Date: Thu, 29 Jul 2021 13:13:52 -0400
Subject: [PATCH] Don't run MbedOS jobs on restyled PRs. (#8698)

We generally don't want to run CI on those.
---
 .github/workflows/examples-mbed.yaml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/examples-mbed.yaml b/.github/workflows/examples-mbed.yaml
index 2a7c46bbb37211..64fe1855c2428d 100644
--- a/.github/workflows/examples-mbed.yaml
+++ b/.github/workflows/examples-mbed.yaml
@@ -17,6 +17,7 @@ name: Build example - Mbed OS
 on:
     push:
     pull_request:
+    workflow_dispatch:
 
 concurrency:
     group: ${{ github.ref }}-${{ github.workflow }}-${{ (github.event_name == 'pull_request' && github.event.number) || (github.event_name == 'workflow_dispatch' && github.run_number) || github.sha }}
@@ -37,6 +38,7 @@ jobs:
             EXAMPLE_PROFILE: release
 
         runs-on: ubuntu-latest
+        if: github.actor != 'restyled-io[bot]'
 
         container:
             image: connectedhomeip/chip-build-mbed-os:latest