Fix CI builds

This commit is contained in:
Luke Street
2023-08-08 23:38:22 -04:00
parent 02b9669775
commit 71ef046ada
+3 -1
View File
@@ -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'