microsoft/demikernel

[ci] Integrrate Redis to Our CI Infrastructure

ppenna opened this issue · 0 comments

ppenna commented

Context

We should integrate Redis to our CI infrastructure.