diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
deleted file mode 100644
index 27d7c12..0000000
--- a/.github/workflows/ci.yml
+++ /dev/null
@@ -1,45 +0,0 @@
-name: CI
-
-on:
-  push:
-    branches: [main]
-  pull_request:
-
-env:
-  CARGO_TERM_COLOR: always
-
-jobs:
-  build:
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
-      - uses: dtolnay/rust-toolchain@29eef336d9b2848a0b548edc03f92a220660cdb8 # stable
-        with:
-          components: clippy, rustfmt
-      - name: Format check
-        run: cargo fmt --all -- --check
-      - name: Build
-        run: cargo build --verbose
-      - name: Test
-        run: cargo test --verbose
-      - name: Clippy
-        run: cargo clippy --all-targets -- -D warnings
-
-  proofs:
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
-      - name: Install Lean (elan)
-        run: |
-          curl -sSfL https://elan.lean-lang.org/elan-init.sh | sh -s -- -y --default-toolchain none
-          echo "$HOME/.elan/bin" >> "$GITHUB_PATH"
-      - name: Build proofs
-        working-directory: proofs
-        run: lake build
-      - name: Assert proofs are sorry-free
-        working-directory: proofs
-        run: |
-          lake env lean JsonMerge.lean | tee axioms.txt
-          if grep -q sorryAx axioms.txt; then
-            echo "::error::Lean proof depends on sorry"; exit 1
-          fi
diff --git a/.github/workflows/standard.yml b/.github/workflows/standard.yml
new file mode 100644
index 0000000..1db08c7
--- /dev/null
+++ b/.github/workflows/standard.yml
@@ -0,0 +1,15 @@
+name: standard
+on:
+  push:
+    branches: [main]
+  pull_request:
+permissions:
+  contents: read
+jobs:
+  standard:
+    uses: bounded-systems/.github/.github/workflows/repo-standard.yml@d43c3280588ef05f4ead43426db1091d4cb8f520
+    with:
+      security: true
+      test: true
+      runtime: none
+      test-command: "cargo fmt --all -- --check && cargo build --verbose && cargo test --verbose && cargo clippy --all-targets -- -D warnings"