add optional time profiling

src/ewoksppf/bindings.py

@@ -521,9 +521,11 @@ class EwoksWorkflow(Workflow):
         self,
         varinfo: Optional[dict] = None,
         execinfo: Optional[dict] = None,
+        profile_directory: Optional[str] = None,
         **pool_options,
     ) -> Generator[None, None, None]:
         self.startargs[ppfrunscript.INFOKEY]["varinfo"] = varinfo
+        self.startargs[ppfrunscript.INFOKEY]["profile_directory"] = profile_directory
         graph = self.__ewoksgraph.graph
         with events.workflow_context(execinfo, workflow=graph) as execinfo:
             self.startargs[ppfrunscript.INFOKEY]["execinfo"] = execinfo

src/ewoksppf/ppfrunscript.py

@@ -13,6 +13,7 @@ def run(*args, **kwargs):
     info = kwargs.pop(INFOKEY)
     varinfo = info["varinfo"]
     execinfo = info["execinfo"]
+    profile_directory = info["profile_directory"]
     if args:
         kwargs.update(enumerate(args))
 
@@ -22,6 +23,7 @@ def run(*args, **kwargs):
         inputs=kwargs,
         varinfo=varinfo,
         execinfo=execinfo,
+        profile_directory=profile_directory,
     )
 
     task.execute()