mirror of https://github.com/PrimeDecomp/prime.git
parent
cc7e174eeb
commit
1accd793c4
|
@ -15,6 +15,8 @@ jobs:
|
||||||
steps:
|
steps:
|
||||||
- name: Checkout
|
- name: Checkout
|
||||||
uses: actions/checkout@v3
|
uses: actions/checkout@v3
|
||||||
|
- name: Git config
|
||||||
|
run: git config --global --add safe.directory "$GITHUB_WORKSPACE"
|
||||||
- name: Build
|
- name: Build
|
||||||
run: |
|
run: |
|
||||||
python configure.py --map --version ${{matrix.version}} --compilers /compilers/GC
|
python configure.py --map --version ${{matrix.version}} --compilers /compilers/GC
|
||||||
|
|
Loading…
Reference in New Issue