use actions-gh-release

.. to create a release from a tag, and upload the desired artifacts to it

Author: jepler

.github/workflows/githubci.yml

@@ -47,6 +47,20 @@ jobs:
             build/*.bin
             build/*.uf2
 
+    - name: Zip release files
+      if: startsWith(github.ref, 'refs/tags/')
+      run: |
+        if [ -d build ]; then
+            cd build && zip -9 -o ${{ matrix.arduino-platform }}.zip *.hex *.bin *.uf2
+        fi
+
+    - name: Create release
+      if: startsWith(github.ref, 'refs/tags/')
+      uses: softprops/action-gh-release@v1
+      with:
+        files: build/${{ matrix.arduino-platform }}.zip
+        fail_on_unmatched_files: false
+
   pylint:
     runs-on: ubuntu-latest
     steps: