diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 3729408286..799c2867ac 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -71,7 +71,7 @@ jobs: runs-on: ubuntu-20.04 timeout-minutes: 30 env: - VFLAGS: -cc tcc + VFLAGS: -cc tcc -no-retry-compilation steps: - uses: actions/checkout@v2 - name: Install dependencies @@ -638,7 +638,7 @@ jobs: runs-on: windows-2019 timeout-minutes: 30 env: - VFLAGS: -cc tcc + VFLAGS: -cc tcc -no-retry-compilation steps: - uses: actions/checkout@v2 - name: Build with make.bat -tcc