disable md lint

zigcc · Dec 12, 2023 · 0167f28 · 0167f28
1 parent 8dee8eb
commit 0167f28
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 21 deletions.
diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml
@@ -45,19 +45,3 @@ jobs:
       - name: Deploy to GitHub Pages
         id: deployment
         uses: actions/deploy-pages@v3
-
-  lint:
-    timeout-minutes: 10
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v4
-        with:
-          fetch-depth: 0
-      - uses: actions/setup-node@v3
-        with:
-          node-version: "14"
-      - name: Prettier check
-        run: |
-          # if you encounter error, rerun the command below and commit the changes
-          make lint
-          git diff --exit-code
diff --git a/Makefile b/Makefile
@@ -1,9 +1,9 @@
 
+serve:
+	mdbook serve
+
 lint:
 	npx prettier@2.7.1 --write src
 
 run-all:
 	cd examples && zig build run-all --summary all
-
-serve:
-	mdbook serve
diff --git a/README.md b/README.md
@@ -1 +1 @@
-src/README.md
+src/intro.md
diff --git a/src/SUMMARY.md b/src/SUMMARY.md
@@ -1,6 +1,6 @@
 # Summary
 
-[Introduction](./README.md)
+[Introduction](./intro.md)
 
 - [File System]()
   - [Read file line by line](./01-01-read-file-line-by-line.md)

diff --git a/src/README.md → src/intro.md b/src/README.md → src/intro.md