diff --git a/.github/workflows/blacklist.cex.txt b/.github/workflows/blacklist.cex.txt
new file mode 100644
index 0000000..26c8941
--- /dev/null
+++ b/.github/workflows/blacklist.cex.txt
@@ -0,0 +1,13 @@
+borsh_unsat_test #(Failed)
+borsh-enum_unsat_test #(Failed)
+borsh-option_unsat_test #(Failed)
+borsh-primitives_unsat_test #(Failed)
+borsh-structs_unsat_test #(Failed)
+copy_stack_buffer_unsat_test #(Failed)
+custom-vec_test_into_iter_unsat_test #(Timeout)
+sea-vec_unsat_test #(Timeout)
+smallvec-drain-error_sat_test #(Failed)
+smallvec-grow-error_sat_test #(Failed)
+smallvec-insert-optimization_unsat_test #(Timeout)
+smallvec-insert_many-error_sat_test #(Timeout)
+vec-sort-reverse_unsat_test #(Timeout)
diff --git a/.github/workflows/blacklist.vac.txt b/.github/workflows/blacklist.vac.txt
new file mode 100644
index 0000000..03e034f
--- /dev/null
+++ b/.github/workflows/blacklist.vac.txt
@@ -0,0 +1,23 @@
+copy_stack_buffer_unsat_test
+custom-vec_test_deref_unsat_test
+custom-vec_test_insert_unsat_test
+custom-vec_test_remove_unsat_test
+custom-vec-loop-unroll_unsat_test
+result-unwrap_or_else_unsat_test
+smallvec-allocation-bound2_test_resize2_unsat_test
+smallvec-allocation-bound2_test_resize_with2_unsat_test
+smallvec-bound2_test_resize2_unsat_test
+smallvec-insert-optimization_unsat_test
+tinyvec-arrayvec_test_append_unsat_test
+tinyvec-arrayvec_test_insert_unsat_test
+tinyvec-arrayvec_test_pop_unsat_test
+tinyvec-arrayvec_test_remove_unsat_test
+tinyvec-arrayvec_test_resize_unsat_test
+tinyvec-arrayvec_test_resize_with_unsat_test
+tinyvec-arrayvec_test_retain_unsat_test
+tinyvec-arrayvec_test_splice_panic_unsat_test
+tinyvec-arrayvec_test_split_off_unsat_test
+tinyvec-arrayvec_test_swap_remove_unsat_test
+tinyvec-arrayvec_test_try_append_unsat_test
+tinyvec-arrayvec_test_try_insert_unsat_test
+tinyvec-remove-error_sat_test