From 1d901527299407e0d1455977bc606160276814b4 Mon Sep 17 00:00:00 2001 From: Paulo Matos Date: Sun, 26 Apr 2020 13:32:17 +0200 Subject: [PATCH] No need curl on vm original commit: 89de1e481062272e5b6fc9d1a7049a33084c9696 --- .github/workflows/build.yml | 2 -- 1 file changed, 2 deletions(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 51055f7075..a9078d7f74 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -17,8 +17,6 @@ jobs: steps: - uses: actions/checkout@v1 - - name: Install dependencies - run: apt-get update && apt-get install -y curl - name: Build bootfiles run: .github/scripts/dobootfile.sh - name: Build Chez