Fix Timely master check, pin dependency version in mdbook (#568)

Signed-off-by: Moritz Hoffmann <[email protected]>

.github/workflows/deploy.yml

@@ -7,10 +7,16 @@ on:
 
 jobs:
   deploy:
-    runs-on: ubuntu-22.04
+    runs-on: ubuntu-24.04
     steps:
       - uses: actions/checkout@v4
-      - run: cargo install mdbook --version 0.4.31
+      - run: cargo install mdbook --version 0.4.44
+      - name: Patch sample Cargo.toml versions
+        run: |
+          export DIFFERENTIAL_VERSION=$(cargo metadata --format-version 1 | jq -r '.packages[] | select(.name == "differential-dataflow") | .version')
+          export TIMELY_VERSION=$(cargo metadata --format-version 1 | jq -r '.packages[] | select(.name == "timely") | .version')
+          sed -i "s/^differential-dataflow = .*/differential = \"$DIFFERENTIAL_VERSION\"/" mdbook/src/chapter_0/chapter_0_0.md
+          sed -i "s/^timely = .*/timely = \"$TIMELY_VERSION\"/" mdbook/src/chapter_0/chapter_0_0.md
       - run: cd mdbook && mdbook build
       - uses: JamesIves/github-pages-deploy-action@v4
         with:

.github/workflows/test-timely-master.yml

@@ -19,8 +19,13 @@ jobs:
       - uses: actions-rust-lang/setup-rust-toolchain@v1
         with:
           toolchain: ${{ matrix.toolchain }}
+      - name: Cargo patch Timely master
+        run: |
+          cat >> Cargo.toml <<EOF
+          [patch.crates-io]
+          timely = { git = "https://github.com/TimelyDataflow/timely-dataflow" }
+          EOF
       - name: Cargo check against Timely master
-        working-directory: timely_master
         run: cargo check --all-targets
       - name: Cargo test against Timely master
         working-directory: timely_master