Benchmark improvements

* CI: Clean offline; display cleaned bytes
* Add missing csv bench to iai benchmarks
* Generate flamegraphs for benchmarks
* Validate benchmark results separately

.github/actions/setup-rust/cleanup.sh

@@ -3,8 +3,11 @@ set -e
 
 echo Cleanup workspace build artifacts and extra target output
 
-# clean just the direct members of the current workspace, with cargo metadata should generalize to all rust projects
-cargo clean -p `cargo metadata --format-version 1 | jq -r '[.workspace_members[]|split(" ")|.[0]]|join(" ")'`
+# clean just the direct members of the current workspace, use cargo metadata to generalize to all rust projects
+cargo clean -p `cargo metadata --no-deps --offline --format-version 1 | jq -r '[.workspace_members[]|split(" ")|.[0]]|join(" ")'`
 
 # remove directories in /target/ that are not named `debug` or `release`
+before=`du -s target | awk '{print $1}'`
 find ./target -maxdepth 1 -type d ! -name debug ! -name release ! -name target -exec rm -r {} \;
+after=`du -s target | awk '{print $1}'`
+echo Deleted $(($before - $after)) bytes from target directory

.github/workflows/ci.yml

@@ -158,21 +158,23 @@ jobs:
           fail_on: nothing
           comment_mode: off
 
-      - run: cargo build --bench run_iai --release
+      - run: cargo build --all-targets --release
+      - run: cargo test --bench setup --release
       - run: cargo bench --bench run_iai
       - run: cargo bench --bench run_criterion
+      - run: cargo bench --bench run_criterion -- --profile-time 60
 
       - name: Publish criterion benchmark results
         uses: actions/upload-artifact@v3
         with:
           name: bench-criterion-results
-          path: target/criterion/**/*
+          path: target/criterion/*
 
       - name: Publish iai benchmark results
         uses: actions/upload-artifact@v3
         with:
           name: bench-iai-results
-          path: target/iai/scryer-prolog/run_iai/bench_group/*
+          path: target/iai/*
 
   # Publish binaries when building for a tag
   release: