deleted .spec file

bruhhgnik · Oct 4, 2024 · 5c0be8a · 5c0be8a
1 parent 1ff116d
commit 5c0be8a
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 29 deletions.
diff --git a/.github/workflows/release-fedora.yml b/.github/workflows/release-fedora.yml
@@ -40,16 +40,13 @@ jobs:
 
     - name: Rename RPM package
       run: |
-        mv /tmp/stone-prover/build/bazelbin/src/starkware/main/cpu/cpu_air_prover /github/workspace/cpu_air_prover-${TARGET_ARCH}
-        mv /tmp/stone-prover/build/bazelbin/src/starkware/main/cpu/cpu_air_verifier /github/workspace/cpu_air_verifier-${TARGET_ARCH}
         mv /tmp/stone-prover/*.rpm /github/workspace/stone-prover-fedora-${TARGET_ARCH}.rpm
         
 
     - name: Upload files to GitHub release
       uses: softprops/action-gh-release@v2
       with:
         files: |
-         /github/workspace/cpu_air*
          /github/workspace/*.rpm
       env:
         GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
diff --git a/stone-prover.spec b/stone-prover.spec