CI: Add documentation build and lint jobs

stackhpc · Aug 3, 2023 · 6759667 · 6759667
1 parent 1f28389
commit 6759667
Show file tree

Hide file tree

Showing 2 changed files with 26 additions and 2 deletions.
diff --git a/.github/workflows/pull-request.yml b/.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:

diff --git a/Makefile b/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: