diff options
| author | Bradley Lewis <22850972+BradLewis@users.noreply.github.com> | 2025-09-30 19:35:45 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-09-30 19:35:45 -0400 |
| commit | 99cbf695fff86d3c89261fe0f5c22c7843b3908a (patch) | |
| tree | 6cfd83f5eaa5044cdb235291cefc51f301b67ef8 | |
| parent | 3be6671f8c471a2adb0c5b0f4277d08332dddff4 (diff) | |
| parent | 604c00d26c9778f9a87b3e3e7627b609c46f6981 (diff) | |
Merge pull request #1062 from BradLewis/chore/set-odin-version-ci
Add a variable to set the odin branch/tag in the ci and nightly builds
| -rw-r--r-- | .github/workflows/ci.yml | 8 | ||||
| -rw-r--r-- | .github/workflows/nightly.yml | 12 |
2 files changed, 12 insertions, 8 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 17eb970..c652f0f 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -1,4 +1,6 @@ name: CI +env: + ODIN_BRANCH: dev-2025-09 on: push: @@ -23,7 +25,7 @@ jobs: - name: Download Odin shell: cmd run: | - git clone https://github.com/odin-lang/Odin + git clone --depth 1 --branch %ODIN_BRANCH% https://github.com/odin-lang/Odin - name: Build Odin shell: cmd run: | @@ -50,7 +52,7 @@ jobs: echo "/usr/lib/llvm-17/bin" >> $GITHUB_PATH - name: Build Odin run: | - git clone --depth 1 https://github.com/odin-lang/Odin + git clone --depth 1 --branch $ODIN_BRANCH https://github.com/odin-lang/Odin cd Odin && ./build_odin.sh release - name: Build ols run: ./ci.sh CI @@ -72,7 +74,7 @@ jobs: echo "CPATH=$TMP_PATH" >> $GITHUB_ENV - name: Build Odin run: | - git clone --depth 1 https://github.com/odin-lang/Odin + git clone --depth 1 --branch $ODIN_BRANCH https://github.com/odin-lang/Odin cd Odin && ./build_odin.sh release - name: Build ols run: ./ci.sh CI diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml index cbbf4a1..3efe602 100644 --- a/.github/workflows/nightly.yml +++ b/.github/workflows/nightly.yml @@ -1,4 +1,6 @@ name: nightly +env: + ODIN_BRANCH: dev-2025-09 on: workflow_dispatch: @@ -17,7 +19,7 @@ jobs: echo "/opt/homebrew/opt/llvm@17/bin" >> $GITHUB_PATH - name: Download Odin run: | - git clone https://github.com/odin-lang/Odin + git clone --depth 1 --branch $ODIN_BRANCH https://github.com/odin-lang/Odin - name: Build Odin run: | cd Odin @@ -47,7 +49,7 @@ jobs: echo "CPATH=$TMP_PATH" >> $GITHUB_ENV - name: Download Odin run: | - git clone https://github.com/odin-lang/Odin + git clone --depth 1 --branch $ODIN_BRANCH https://github.com/odin-lang/Odin - name: Build Odin run: | cd Odin @@ -77,7 +79,7 @@ jobs: echo "/usr/lib/llvm-17/bin" >> $GITHUB_PATH - name: Download Odin run: | - git clone https://github.com/odin-lang/Odin + git clone --depth 1 --branch $ODIN_BRANCH https://github.com/odin-lang/Odin - name: Build Odin run: | cd Odin @@ -107,7 +109,7 @@ jobs: echo "/usr/lib/llvm-17/bin" >> $GITHUB_PATH - name: Download Odin run: | - git clone https://github.com/odin-lang/Odin + git clone --depth 1 --branch $ODIN_BRANCH https://github.com/odin-lang/Odin - name: Build Odin run: | cd Odin @@ -134,7 +136,7 @@ jobs: - name: Download Odin shell: cmd run: | - git clone https://github.com/odin-lang/Odin + git clone --depth 1 --branch %ODIN_BRANCH% https://github.com/odin-lang/Odin - name: Build Odin shell: cmd run: | |