Merge branch 'main' into feature/tagged-pointer

.github/workflows/test.yaml

@@ -28,9 +28,7 @@ jobs:
         with:
           submodules: true
       - uses: Swatinem/rust-cache@v2
-      - run: |
-          cd examples
-          ./test.sh
+      - run: examples/test.sh
   cmake:
     runs-on: ubuntu-latest
     steps:

examples/test.sh

@@ -2,12 +2,11 @@
 
 set -ex
 
-cargo build
+cd $(dirname $0)
 
-for cargo_file in */Cargo.toml
-do
-	target/debug/$(dirname $cargo_file) &
-	pid=$!
-	sleep 10
-	kill $pid
+for cargo_file in */Cargo.toml; do
+  cargo run --bin $(dirname $cargo_file) &
+  pid=$!
+  sleep 20
+  kill $pid
 done