Tack on some auxiliary changes

Fix versions in mdbook to precise versions (=), make check against Timely
master more robust.

Signed-off-by: Moritz Hoffmann <antiguru@gmail.com>

Author: antiguru

.github/workflows/deploy.yml

@@ -15,8 +15,8 @@ jobs:
         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
+          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

@@ -25,10 +25,13 @@ jobs:
           [patch.crates-io]
           timely = { git = "https://github.com/TimelyDataflow/timely-dataflow" }
           EOF
+      - name: Cargo upgrade
+        run: |
+          cargo install cargo-edit
+          cargo upgrade -p timely --incompatible
       - name: Cargo check against Timely master
         run: cargo check --all-targets
       - name: Cargo test against Timely master
-        working-directory: timely_master
         run: cargo test
 
   notify: