Print execution statistics at the end of execution

First sequential implementation

enabled an automatic merge when the pipeline for 1521f64a succeeds

aborted the automatic merge because source branch was updated

added 1 commit

• 2857e4bb - Fix missing include

Compare with previous version

enabled an automatic merge when the pipeline for 2857e4bb succeeds

merged

mentioned in commit 97f9cad3