ci: track a missing file

test/st-KK06-algo2/potential.ml

+../st-KK06-algo1/potential.ml
\ No newline at end of file

test/st-KK06-algo2/state.ml

 
-type t = int 
-let to_string = (fun s -> Printf.sprintf "f=%i" s)
+type t = int
+let to_string = (fun s -> Printf.sprintf "%i" s)
 let of_string = Some int_of_string
 let copy x = x
 let actions = ["R";"R1"]
 let potential = None
 let legitimate = None
-let fault = None 
+let fault = None