diff --git a/libs/pavexc/src/compiler/codegen.rs b/libs/pavexc/src/compiler/codegen.rs
index 1c81ad445..fe89941a8 100644
--- a/libs/pavexc/src/compiler/codegen.rs
+++ b/libs/pavexc/src/compiler/codegen.rs
@@ -278,6 +278,7 @@ fn define_server_state(
     .unwrap()
 }
 
+#[tracing::instrument("Codegen application state initialization function", skip_all)]
 fn get_application_state_init(
     application_state_call_graph: &ApplicationStateCallGraph,
     package_id2name: &BiHashMap<PackageId, String>,