microsoft/demikernel

[ci] Platform Switch Option for `demikernel_ci.py`

ppenna opened this issue · 0 comments

ppenna commented

Context

We should introduce a --platform switch option to demikernel_ci.py to enable one to choose which (platform,libos) configuration to run.