Fix the dev container publish step
yoshuawuyts opened this issue · comments
Publishing the dev container just failed, presumably because of #26. I believe we can fix the container by inlining the missing scripts, though I'm not sure that is a recommended practice. Thanks!