[hermes] Parse Hermes attribute bodies

gherrit-pr-id: Gy2vxsiq3p3mqlwkbeizm3snmmd3wtjv5

Author: joshlf

tools/hermes/src/main.rs

@@ -38,7 +38,9 @@ fn main() -> anyhow::Result<()> {
             let roots = resolve::resolve_roots(&resolve_args)?;
             let packages = scanner::scan_workspace(&roots)?;
             if packages.is_empty() {
-                log::warn!("No Hermes annotations (/// ```lean ...) found in the selected targets. Nothing to verify.");
+                log::warn!(
+                    "No Hermes annotations (/// ```lean ...) found in the selected targets. Nothing to verify."
+                );
                 return Ok(());
             }
             charon::run_charon(&resolve_args, &roots, &packages)?;