Build PDFs in CI

2023-10-25 13:49:36 +02:00 · 2023-10-25 13:49:36 +02:00 · 5f708955dd
commit 5f708955dd
parent d4df76be2d
2 changed files with 40 additions and 21 deletions
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@ -0,0 +1,16 @@
+default:
+  tags:
+    - nix
+
+stages:
+  - build
+
+build-pdfs:
+  stage: build
+  script:
+    - nix build .#build-diffed
+    - ./result/bin/build-diffed
+  artifacts:
+    paths:
+      - book.pdf
+      - diff.pdf