Build against timely master

Adds a crate and workflow to compile differential against timely master.

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

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

@@ -0,0 +1,25 @@
+name: "Test build against Timely master"
+on:
+  push:
+    branches:
+      - master
+  pull_request:
+  workflow_dispatch:
+
+jobs:
+  test:
+    strategy:
+      matrix:
+        os:
+          - ubuntu
+        toolchain:
+          - stable
+    name: cargo test on ${{ matrix.os }}, rust ${{ matrix.toolchain }}
+    runs-on: ${{ matrix.os }}-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions-rust-lang/setup-rust-toolchain@v1
+        with:
+          toolchain: ${{ matrix.toolchain }}
+      - name: Cargo test
+        run: cd timely_master && cargo test

.gitignore

@@ -1,2 +1,2 @@
 Cargo.lock
-/target
+target

timely_master/Cargo.toml

@@ -0,0 +1,15 @@
+[package]
+name = "differential-dataflow-timely-master"
+version = "0.0.0"
+authors = ["Moritz Hoffmann <[email protected]>"]
+license = "MIT"
+edition = "2021"
+publish = false
+
+[workspace]
+
+[dependencies]
+differential-dataflow = { path = "../" }
+
+[patch.crates-io]
+timely = { git = "https://github.com/TimelyDataflow/timely-dataflow" }

timely_master/src/lib.rs

@@ -0,0 +1 @@
+//~ Empty