Shortcut release builds that aren't 'published' action

Author: tannewt

.github/workflows/build.yml

@@ -16,6 +16,9 @@ jobs:
       env:
         GITHUB_CONTEXT: ${{ toJson(github) }}
       run: echo "$GITHUB_CONTEXT"
+    - name: Fail if not a release publish # workaround has `on` doesn't have this filter
+      run: exit 1
+      if: github.event_name == 'release' && github.event.action != 'published'
     - name: Set up Python 3.5
       uses: actions/setup-python@v1
       with:

.github/workflows/create_website_pr.yml

@@ -10,6 +10,9 @@ jobs:
       env:
         GITHUB_CONTEXT: ${{ toJson(github) }}
       run: echo "$GITHUB_CONTEXT"
+      - name: Fail if not a release publish # workaround has `on` doesn't have this filter
+        run: exit 1
+        if: github.event.action != 'published'
     - name: Set up Python 3.5
       uses: actions/setup-python@v1
       with:

tools/build_board_info.py

@@ -130,7 +130,7 @@ def create_pr(changes, updated, git_info):
         updated_list.append(info)
 
     updated = json.dumps(updated_list, sort_keys=True, indent=4).encode("utf-8") + b"\n"
-    print(updated.decode("utf-8"))
+    #print(updated.decode("utf-8"))
     pr_title = "Automated website update for release {}".format(changes["new_release"])
     boards = ""
     if changes["new_boards"]:
@@ -238,7 +238,6 @@ def generate_download_info():
 
     board_mapping = get_board_mapping()
 
-    print(previous_releases)
     for release in previous_releases:
         update_downloads(board_mapping, release)