Merge pull request #829 from openhwgroup/dev

Automatic PR dev->master
openhwgroup · Jul 5, 2023 · cd48ad0 · cd48ad0
2 parents 296ac73 + 9977223
commit cd48ad0
Show file tree

Hide file tree

Showing 47 changed files with 6,546 additions and 680 deletions.
diff --git a/.github/workflows/aws.yml b/.github/workflows/aws.yml
@@ -7,7 +7,7 @@ on:
 jobs:
   aws:
     name: AWS Pipeline (private)
-    if: ${{ github.actor == 'davideschiavone' || github.actor == 'MikeOpenHWGroup' || github.actor == 'zarubaf' }}
+    if: ${{ (github.actor == 'davideschiavone' || github.actor == 'MikeOpenHWGroup' || github.actor == 'zarubaf') && github.event.label.name != 'Component:Doc' }}
     runs-on: ubuntu-latest
     # These permissions are needed to interact with GitHub's OIDC Token endpoint.
     permissions:
@@ -23,4 +23,11 @@ jobs:
         uses: openhwgroup/aws-codebuild-run-build@master
         with:
           project-name: cv32e40p
-          hide-log: true
+          hide-log: true
+  skip_aws:
+    name: no AWS
+    if: ${{ (github.actor == 'davideschiavone' || github.actor == 'MikeOpenHWGroup' || github.actor == 'zarubaf') && github.event.label.name == 'Component:Doc' }}
+    runs-on: ubuntu-latest
+    steps:
+      - name: info
+        run: echo "Documentation only, skipping LEC on AWS"