From 71ef046ada6019f09b5dc6149f1b37823f829efe Mon Sep 17 00:00:00 2001 From: Luke Street Date: Tue, 8 Aug 2023 23:38:22 -0400 Subject: [PATCH] Fix CI builds --- .github/workflows/build.yml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index e677285..c7ec1eb 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -17,9 +17,11 @@ jobs: uses: actions/checkout@v3 - name: Git config run: git config --global --add safe.directory "$GITHUB_WORKSPACE" + - name: Prepare + run: cp -R /orig . - name: Build run: | - python configure.py --map --version ${{matrix.version}} --compilers /compilers/GC --orig /orig + python configure.py --map --version ${{matrix.version}} --compilers /compilers/GC ninja # - name: Upload progress # if: github.ref == 'refs/heads/main'