diff --git a/.github/workflows/on_pull_request.yml b/.github/workflows/on_pull_request.yml
index 0ebddcb..0c9afaa 100644
--- a/.github/workflows/on_pull_request.yml
+++ b/.github/workflows/on_pull_request.yml
@@ -5,6 +5,7 @@ on:
     branches:
       - master
 
+        # TODO: beefy machine for tests
 jobs:
   lint:
     name: "Lint"
@@ -32,5 +33,18 @@ jobs:
       - name: "Install cargo-nextest"
         run: cargo install cargo-nextest
       - name: "Run tests"
-        run: cargo nextest run --workspace --locked
+        run: cargo nextest run --workspace --locked --no-default-features
 
+  test-beefy-proofs:
+    name: "Test Beefy Proofs"
+    runs-on:
+      group: beefygroup
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v3
+      - uses: actions-rust-lang/setup-rust-toolchain@v1
+      - uses: Swatinem/rust-cache@v2
+      - name: "Install cargo-nextest"
+        run: cargo install cargo-nextest
+      - name: "Run tests"
+        run: cargo nextest run --workspace --locked --no-default-features
diff --git a/succintx.json b/succinct.json
similarity index 81%
rename from succintx.json
rename to succinct.json
index 5fb44b1..b87fd55 100644
--- a/succintx.json
+++ b/succinct.json
@@ -1,5 +1,4 @@
 {
-    "$schema": "https://raw.githubusercontent.com/succinctlabs/succinctx/main/assets/schema.json",
     "entrypoints": [
         {
             "name": "sync",