Release package

Author: godunko

.github/workflows/linux.yml

@@ -164,12 +164,23 @@ jobs:
     - name: Build GNAT WASM32
       run: ./anod build gnatllvm-wasm32 -v --loglevel DEBUG --enable-cleanup
 
+    - name: Package GNAT WASM32
+      run: ./anod build release_package --qualifier=package=gnat,do_gh_release --target=wasm32 -v --loglevel DEBUG
+      env:
+        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # for GitHub CLI tool
+
     - uses: actions/upload-artifact@v4
       with:
         name: gnat-wasm32
         path: sbx/*/gnatllvm-wasm32/install/*
         retention-days: 5
 
+    - uses: actions/upload-artifact@v2
+      with:
+        name: release-packages
+        path: sbx/*/release_package*/install/*
+        retention-days: 5
+
 
   why3:
     strategy: