From a3f393d7e1d2194982300f65f1d9492dfd1e735a Mon Sep 17 00:00:00 2001
From: Robert DeLanghe <1240090+bdelanghe@users.noreply.github.com>
Date: Tue, 30 Jun 2026 09:13:07 -0400
Subject: [PATCH] ci: adopt repo-standard reusable workflow (replace bespoke
 ci.yml)

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
---
 .github/workflows/ci.yml       | 45 ----------------------------------
 .github/workflows/standard.yml | 15 ++++++++++++
 2 files changed, 15 insertions(+), 45 deletions(-)
 delete mode 100644 .github/workflows/ci.yml
 create mode 100644 .github/workflows/standard.yml

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"