Merge branch 'master' of github.com:mre/endler.dev

mre · Jul 24, 2023 · 2e55b4b · 2e55b4b
2 parents 09a1f43 + 82be9c5
commit 2e55b4b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -69,7 +69,7 @@ jobs:
         run: make images
 
       - name: 📖 Build
-        run: make content # TODO: Switch back to `make build` once tinysearch is fixed
+        run: make build
         env:
           GITHUB_TOKEN: ${{ secrets.PERSONAL_TOKEN }}