Remove release package for epfl-theme-elements (#728)

It is no longer necessary to build the release.
epfl-theme-elements uses epfl-elements via `package.json` now.

.github/workflows/release-on-semver-tag.yml

@@ -9,7 +9,6 @@ jobs:
     env:
       tag: ${{ github.ref_name }}
       tag_ref: ${{ github.ref }}
-      release_tar_name: elements-${{ github.ref_name }}.tar.gz
       base_branch: "dev"
       base_branch_ref: "origin/dev"
       dist_branch: dist/frontend
@@ -66,29 +65,3 @@ jobs:
           github_token: ${{ secrets.GITHUB_TOKEN }}
           publish_dir: ./frontend
           publish_branch: ${{ env.dist_branch }}
-
-      - name: Pluck release/ out of dist/
-        # The placement scheme is that of https://www.npmjs.com/package/epfl-theme-elements
-        run: |
-          set -e -x
-          mkdir -p release/dist/icons release/dist/css release/dist/js
-          cp $(find dist/ -name icons -prune -false -o -name "*.svg") \
-             dist/icons/* \
-             dist/favicons/*.png dist/favicons/*.ico \
-             release/dist/icons/
-          cp dist/package.json         release/
-          cp dist/css/elements.min.css release/dist/css/elements.min.css
-          cp dist/js/elements.min.js   release/dist/js/elements.min.js
-
-      - name: Create release package
-        # The placement scheme is that of https://www.npmjs.com/package/epfl-theme-elements
-        run: |
-          set -e -x
-          tar -Crelease -zcf $release_tar_name .
-
-      - uses: "marvinpinto/[email protected]"
-        with:
-          repo_token: "${{ secrets.GITHUB_TOKEN }}"
-          prerelease: false
-          files: |
-            ${{ env.release_tar_name }}