diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index caf9f9e..651ee8b 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -15,4 +15,4 @@ jobs:
       - uses: actions/checkout@v4
       - uses: leanprover/lean-action@v1
       - name: Run tests
-        run: lake exe sherloc
\ No newline at end of file
+        run: lake exe anpu
\ No newline at end of file