typo in ci

leanprover · Sep 18, 2024 · f5b534e · f5b534e
1 parent 4afd77d
commit f5b534e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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
+        run: lake exe anpu