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'