diff options
| author | DanielGavin <danielgavin5@hotmail.com> | 2022-11-10 13:38:48 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-10 13:38:48 +0100 |
| commit | ce5137089c810f72c982411b4171a83ba8a375d5 (patch) | |
| tree | 1496112d6b17cf97381d87156d06ce024185fa1f /.github | |
| parent | c9a0c8fae8b18f8a3ba77e5f110fdf88400352ef (diff) | |
Update ci.yml
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index d2520a0..429f434 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -50,7 +50,9 @@ jobs: - name: Download LLVM run: sudo apt-get install llvm-11 clang-11 - name: Download Odin - run: git clone https://github.com/odin-lang/Odin + run: | + git clone https://github.com/odin-lang/Odin + git checkout map-dev - name: Build Odin run: | cd Odin @@ -71,7 +73,9 @@ jobs: TMP_PATH=$(xcrun --show-sdk-path)/user/include echo "CPATH=$TMP_PATH" >> $GITHUB_ENV - name: Download Odin - run: git clone https://github.com/odin-lang/Odin + run: | + git clone https://github.com/odin-lang/Odin + git checkout map-dev - name: Build Odin run: | cd Odin |