Fix CI with new annotation library

[angelhof]

Signed-off-by: Konstantinos Kallas [email protected]

[github-actions[bot]]

OS = Debian 10 CPU = Intel(R) Core(TM) i7-8700 CPU @ 3.20GHz Ram = 15752 Hash = b3c8e57e Kernel= Linux 4.15.0-167-generic x86_64

benchmark	tests	passed	failed	untested	unresolved	unsupported	not_in_use	other_status
posix	0	0	0	0	0	0	0	0
intro	2	0	2	0	0	0	0	0
interface	38	6	32	0	0	0	0	0
compiler	54	4	50	0	0	0	0	0
aggregator	109	11	98	0	0	0	0	0

[angelhof]

I am leaving this PR open until we resolve issues with the annotation-library dependency. At the moment it doesn't work.