[DO NOT MERGE] Do not rebuild bitstream

Signed-off-by: Amaury Pouly <[email protected]>
pamaury · Aug 20, 2024 · ed00c39 · ed00c39
1 parent 62a071b
commit ed00c39
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ci/scripts/get-bitstream-strategy.sh b/ci/scripts/get-bitstream-strategy.sh
@@ -56,7 +56,7 @@ else
   if git diff --exit-code --stat --name-only ${bitstream_commit} -- "${excluded_files[@]}"; then
     bitstream_strategy=cached
   else
-    bitstream_strategy=build
+    bitstream_strategy=cached
   fi
 fi