Renamed diamond-types-old to diamond-types-crdt in github workflow

josephg · Jan 30, 2024 · 9670647 · 9670647
1 parent 6658ccc
commit 9670647
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -20,4 +20,4 @@ jobs:
           override: true
 
       - run: cargo test
-      - run: cargo test -p dt-cli -p diamond-types-old -p rle -p content-tree -p dt-wasm -p dt-swift
+      - run: cargo test -p dt-cli -p diamond-types-crdt -p rle -p content-tree -p dt-wasm -p dt-swift