The report of the pipeline of hol2dk indicates for the test steps :
make: Nothing to be done for 'test5'.
It seems the tests are not actually run. Thus the pipeline only compiles hol2dk and the dump command but not the rest of the commands.
Actual names of the entries in the Makefile should be used instead of PHONY labels.
The report of the pipeline of hol2dk indicates for the test steps :
make: Nothing to be done for 'test5'.It seems the tests are not actually run. Thus the pipeline only compiles hol2dk and the dump command but not the rest of the commands.
Actual names of the entries in the Makefile should be used instead of PHONY labels.