ci: fix ci (#3)

ci: fix ci

Author: felicityin

.github/ci.yml .github/workflows/ci.yml.github/ci.yml renamed to .github/workflows/ci.yml

@@ -367,8 +367,6 @@ mod tests {
     #[test]
     fn test_printa_run() {
         let program = Program::from(PRINTA_BF).unwrap();
-        println!("program: {:?}", program);
-
         let mut runtime = Executor::new(program, vec![]);
         runtime.run().unwrap();
 
@@ -378,8 +376,6 @@ mod tests {
     #[test]
     fn test_move_run() {
         let program = Program::from(MOVE_BF).unwrap();
-        println!("program: {:?}", program);
-
         let mut runtime = Executor::new(program, vec![]);
         runtime.run().unwrap();
 
@@ -390,8 +386,6 @@ mod tests {
     #[test]
     fn test_loop_run() {
         let program = Program::from(LOOP_BF).unwrap();
-        println!("program: {:?}", program);
-
         let mut runtime = Executor::new(program, vec![]);
         runtime.run().unwrap();
 
@@ -402,8 +396,6 @@ mod tests {
     #[test]
     fn test_hello_run() {
         let program = Program::from(HELLO_BF).unwrap();
-        println!("program: {:?}", program);
-
         let mut runtime = Executor::new(program, vec![]);
         runtime.run().unwrap();
 
@@ -417,8 +409,6 @@ mod tests {
     #[test]
     fn test_fibo_run() {
         let program = Program::from(FIBO_BF).unwrap();
-        println!("program: {:?}", program);
-
         let mut runtime = Executor::new(program, vec![17]);
         runtime.run().unwrap();
 

crates/core/executor/src/executor.rs

@@ -41,7 +41,7 @@ pub fn setup_logger() {
                     .init();
             }
             _ => {
-                panic!("Invalid logger type: {}", logger_type);
+                panic!("Invalid logger type: {logger_type}");
             }
         }
     });

crates/core/machine/src/utils/logger.rs

@@ -119,7 +119,7 @@ where
         let (width, lines) = sorted_table_lines(instr_cts);
         let lines = lines.map(|(label, count)| format_table_line(&width, &label, count));
 
-        once(format!("{}", name))
+        once(format!("{name}"))
             .chain(
                 children
                     .iter()

crates/core/machine/src/utils/span.rs

@@ -15,7 +15,7 @@ fn main() {
 
     // Execute the guest using the `ProverClient.execute` method, without generating a proof.
     let output = client.execute(ELF, stdin.clone()).run().unwrap();
-    println!("result: {:?}", output);
+    println!("result: {output:?}");
 
     // Generate the proof for the given guest and input.
     let (pk, vk) = client.setup(ELF);