Remove unused github actions and leave only profiling one

.github/workflows/circuits_test.yaml → .github/workflows/circuits_profiling.yaml

@@ -1,4 +1,4 @@
-name: circuit tests
+name: circuits profiling
 
 on: [push]
 
@@ -10,11 +10,19 @@ jobs:
     steps:
       - name: Checkout
         uses: actions/checkout@v4
+
+      - name: Install GNU Time and bc
+        run: |
+          sudo apt-get update
+          sudo apt-get install -y time bc
 
       - name: Install Nargo
         uses: noir-lang/[email protected]
         with:
           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 test
-        run: nargo test --workspace
+      - name: Run nargo info
+        run: nargo info --workspace
+
+      - name: Run nargo prove
+        run: ./prove.sh