[test][ci] ci test target explicitly targets files

tests/dune

@@ -9,9 +9,11 @@
   TestNetworkONNX.onnx
   TestSVM.ovo
   ../examples/arithmetic/arithmetic.why
+  ../examples/arithmetic/FNN_s42.onnx
   ../examples/onnx_rewrite/comparison.mlw
   ../examples/onnx_rewrite/sequencing.mlw
-  ../examples/arithmetic/FNN_s42.onnx
+  ../examples/acasxu/nets/onnx/ACASXU_1_1.onnx
+  ../examples/acasxu/nets/onnx/ACASXU_1_9.onnx
   ../examples/mnist/nets/pruned/FNN_28x28_s42.onnx
   ../examples/mnist/nets/pruned/FNN_28x28_pruned_s42.onnx
   ../examples/mnist/nets/splitted/FNN_28x28_pre_s42.onnx
@@ -24,6 +26,7 @@
 
 (cram
  (alias ci)
+ (applies_to nir_to_onnx acasxu_ci)
  (enabled_if %{bin-available:python3})
  (runtest_alias false)
  (deps