Please CI

[hidmic]

Proposed changes

Patch for Ekumen-OS#440 to pass CI.

Type of change

• 🐛 Bugfix (change which fixes an issue)
• 🚀 Feature (change which adds functionality)
• 📚 Documentation (change which fixes or extends documentation)

Checklist

Put an x in the boxes that apply. This is simply a reminder of what we will require before merging your code.

• Lint and unit tests (if any) pass locally with my changes
• I have added tests that prove my fix is effective or that my feature works
• I have added necessary documentation (if appropriate)
• All commits have been signed for DCO

[hidmic]

@pvela2017 I was not able to push to your PR branch directly. Once you merge, Ekumen-OS#440 should be good to go.

[pvela2017]

Done