CI: Add documentation build and lint jobs

Author: markgoddard

.github/workflows/pull-request.yml

@@ -14,6 +14,22 @@ jobs:
 
       - name: Build
         run: make build
+  docs:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v3
+
+      - name: Build documentation
+        run: make docs
+  lint:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v3
+
+      - name: Lint
+        run: make lint
   test:
     runs-on: ubuntu-latest
     steps:

Makefile

@@ -2,12 +2,20 @@
 build:
 	@docker buildx build -t reductionist .
 
+.PHONY: docs
+docs:
+	@docker buildx build --build-arg PROFILE=dev --target builder -t reductionist-test .
+	@docker run --rm -e RUSTDOCFLAGS="-D warnings" reductionist-test cargo doc --no-deps
+
+.PHONY: lint
+lint:
+	@docker buildx build --build-arg PROFILE=dev --target builder -t reductionist-test .
+	@docker run --rm reductionist-test cargo check --color always
+
 .PHONY: test
 test:
 	@docker buildx build --build-arg PROFILE=dev --target builder -t reductionist-test .
-	@docker run --rm reductionist-test cargo check --color always
 	@docker run --rm reductionist-test cargo test --color always
-	@docker run --rm reductionist-test cargo bench --color always
 
 .PHONY: run
 run: