IF: Fix merge issue on hotstuff_integration #5395

Job	Run time
Discover Versions	3s
Platform Cache / Discover Platforms	4s
Platform Cache / Build Platforms (none)	2s
Run Build Workflow / Build leap (reproducible)	8m 48s
Run Build Workflow / Build leap (ubuntu22)	6m 55s
Run Build Workflow / Build leap (ubuntu20)	7m 1s
Tests (ubuntu20)	4m 30s
LR Tests (ubuntu20)	23m 35s
Tests (ubuntu22)	4m 34s
LR Tests (ubuntu22)	24m 9s
Build deb packages (ubuntu20)	12m 47s
Tests (ubuntu20repro)	4m 30s
NP Tests (ubuntu20)	7m 32s
Build deb packages (ubuntu22)	11m 58s
LR Tests (ubuntu20repro)	23m 34s
Tests (ubuntu22repro)	4m 31s
NP Tests (ubuntu22)	6m 26s
Build deb packages (reproducible)	10m 44s
LR Tests (ubuntu22repro)	23m 55s
NP Tests (ubuntu20repro)	7m 8s
NP Tests (ubuntu22repro)	5m 44s
libtester tests (ubuntu22, build-tree)	7m 13s
libtester tests (ubuntu22, make-dev-install)	7m 10s
libtester tests (ubuntu22, deb-install)	4m 46s
All Required Tests Passed	1s
	3h 37m 40s

Provide feedback