From f5b534e6a9e16b604a0264eea73fd20c04274c01 Mon Sep 17 00:00:00 2001
From: John Tristan <jean.baptiste.tristan@gmail.com>
Date: Wed, 18 Sep 2024 11:48:19 -0400
Subject: [PATCH] typo in ci

---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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