setup CI

.github/workflows/master.yml

@@ -1,19 +1,22 @@
 ---
-name: PR Checks
+name: Rust Checks
 on:
   pull_request:
     branches:
       - '*'
   push:
     branches:
       - master
+    paths-ignore:
+      - 'docs/**'
 
 jobs:
   misc:
     name: Miscellaneous checks
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v3
+      - name: Set up Git repository
+        uses: actions/checkout@v3
       - name: Install Rust
         uses: dtolnay/rust-toolchain@master
         with:
@@ -39,7 +42,8 @@ jobs:
     name: Rust stable
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v3
+      - name: Set up Git repository
+        uses: actions/checkout@v3
       - name: Install Rust
         uses: dtolnay/rust-toolchain@master
         with:
@@ -59,7 +63,8 @@ jobs:
     name: Rust nightly
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v3
+      - name: Set up Git repository
+        uses: actions/checkout@v3
       - name: Install Rust
         uses: dtolnay/rust-toolchain@master
         with:
@@ -71,3 +76,25 @@ jobs:
 
       - name: Run tests with Miri
         run: cargo miri test -- --skip ::stress_test
+---
+name: LaTeX Checks
+on:
+  pull_request:
+    branches:
+      - '*'
+  push:
+    branches:
+      - master
+    paths:
+      - '*.tex'
+
+jobs:
+  build_latex:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Set up Git repository
+        uses: actions/checkout@v3
+      - name: Compile LaTeX document
+        uses: xu-cheng/latex-action@v3
+        with:
+          root_file: docs/paper/main.tex