rework CI to put commands into the justfile

Author: nikomatsakis

.github/workflows/check.yml

@@ -16,7 +16,6 @@ jobs:
 
     steps:
     - uses: actions/checkout@v4
-    - name: Build
-      run: cargo build --verbose
-    - name: Check for consistency
-      run: cargo run -- check
+    - uses: extractions/setup-just@v2
+    - name: Build and check
+      run: just check

.github/workflows/mdbook.yml

@@ -41,13 +41,12 @@ jobs:
           curl --proto '=https' --tlsv1.2 https://sh.rustup.rs -sSf -y | sh
           rustup update
           cargo install --version ${MDBOOK_VERSION} mdbook
+      - uses: extractions/setup-just@v2
       - name: Setup Pages
         id: pages
         uses: actions/configure-pages@v5
-      - name: Build with mdBook
-        run: mdbook build
-      - name: Generate JSON data
-        run: cargo run -- json 2024h2 --json-path book/html/api/2024h2.json
+      - name: Build
+        run: just build
         env:
           GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
       - name: Upload artifact

justfile

@@ -5,4 +5,9 @@ serve: api
     mdbook serve
 
 build: api
-    mdbook build
+    mdbook build
+
+check:
+    cargo build
+    cargo run -- check
+