diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index e4c3bf45..96f01ea6 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -87,7 +87,7 @@ jobs: - name: Setup runh with Docker shell: sudo bash --noprofile --norc -eo pipefail {0} run: | - sed -i 's/{/{ "default-runtime": "runc", "runtimes": { "runh": { "path": "\/home\/runner\/.cargo\/bin\/runh", "runtimeArgs": ["-l", "debug", "--hermit-env", "\/run\/runh\/hermit"] } },/g' /etc/docker/daemon.json + sed -i 's/{/{ "default-runtime": "runc", "runtimes": { "runh": { "path": "\/home\/runner\/.cargo\/bin\/runh", "runtimeArgs": ["-l", "debug"] } },/g' /etc/docker/daemon.json >&2 cat /etc/docker/daemon.json systemctl restart docker || systemctl status docker - name: Check Docker runtime