[BUG] Disco build missing for Device Information service

Describe the bug
In the CI workflow (run_tests.yml), the integration tests for the Device Information service are not built for ST Disco.

To Reproduce
Trigger the GitHub action. There will be no ST Disco build in the log.

Expected behavior
The integration tests for the Device Information service should be built for ST Disco.