add ci

hellerve · hellerve · commit e5d227858313 · 2026-04-19T01:31:10.000+02:00
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -23,6 +23,3 @@ jobs:
         run: |
           set -euo pipefail
           bash ./test-all.sh
-
-      - name: Generate docs
-        run: carp -x gendocs.carp
