From 5d7f19db94e45ebca888829a2db0b6a8105845fb Mon Sep 17 00:00:00 2001 From: Sebastian Serth Date: Sat, 18 Feb 2023 20:00:12 +0100 Subject: [PATCH] Speed up CI by dropping requirement on Docker --- .github/workflows/ci.yml | 11 ----------- 1 file changed, 11 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index ac90b69d..db16b88a 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -16,19 +16,8 @@ jobs: --health-interval 10s --health-timeout 5s --health-retries 5 - co_execenv_java: - image: openhpi/co_execenv_java:8-antlr steps: - - name: Configure Docker host - run: | - echo $'{"hosts": ["tcp://127.0.0.1:2376", "unix:///var/run/docker.sock"], "iptables": false, "live-restore": true}' | sudo tee /etc/docker/daemon.json - sudo mkdir -p /etc/systemd/system/docker.service.d - echo $'[Service]\nExecStart=\nExecStart=/usr/bin/dockerd --containerd /var/run/containerd/containerd.sock' | sudo tee /etc/systemd/system/docker.service.d/override.conf - sudo systemctl daemon-reload - sudo systemctl restart docker - docker restart $(docker ps -aq) - - name: Checkout code uses: actions/checkout@v3