Remove unused github actions and leave only profiling one

.github/workflows/circuits_profile.yaml

@@ -1,10 +1,10 @@
-name: circuit profiling
+name: circuit tests
 
 on: [push]
 
 jobs:
   test:
-    name: nargo info
+    name: nargo test
     runs-on: ubuntu-latest
 
     steps:
@@ -17,11 +17,7 @@ jobs:
           toolchain: nightly-2024-01-11 # Pin at 0.23.0 when it's released. We need nightly now as 0.22.0 doesn't have the oracles
 
       - name: Run nargo info
-        run: nargo info --workspace --silence-warnings | tee profiling_info.txt
-
-      - name: Archive profiling artifacts
-        uses: actions/upload-artifact@v4
-        with:
-          name: profiling_info
-          path: |
-            profiling_info.txt
+        run: nargo info --workspace
+
+      - name: Run nargo prove
+        run: ./prove.sh