Merge branch 'main' into dev

# Conflicts: # .github/workflows/bench.yml # Readme.md
MCloudTT · Sep 7, 2023 · 2b1e4d1 · 2b1e4d1
2 parents ae38e13 + bf68522
commit 2b1e4d1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -9,7 +9,7 @@ on:
 
 env:
   CARGO_TERM_COLOR: always
-
+# TODO: Add benchmarking in CI(see https://github.com/benchmark-action/github-action-benchmark/pull/138)
 jobs:
   build:
     strategy: