diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml
index e4b5851..524a993 100644
--- a/.github/workflows/check.yml
+++ b/.github/workflows/check.yml
@@ -10,8 +10,12 @@ jobs:
     steps:
       - name: Checkout code
         uses: actions/checkout@v3
+      - name: Install dependencies
+        run: sudo apt-get install -y --no-install-recommends lacheck
+      - name: Lint
+        run: make check
       - name: Build
-        run: make
+        run: make build
       - name: Release
         uses: softprops/action-gh-release@v1
         if: startsWith(github.ref, 'refs/tags/')
diff --git a/Makefile b/Makefile
index 19dbad6..7121e3f 100644
--- a/Makefile
+++ b/Makefile
@@ -1,12 +1,17 @@
 .DEFAULT_GOAL := all
 
 .PHONY: all
-all: build
+all: check build
 
 .PHONY: clean
 clean:
 	rm -f *.log *.dvi *.synctex.gz *.pdf
 
+.PHONY: check
+check: *.tex
+check:
+	lacheck *.tex
+
 .PHONY: build
 build: *.pdf