chore: make version be added via premake option

This commit is contained in:
Jan Laupetin committed 2025-09-10 22:13:55 +01:00
1 parent 0da2e4684a
commit 05ef04dd2f
3 files changed
+13 -4

No files matched your search

+2 -3
View File
@@ -26,13 +26,12 @@ jobs:
uses: actions/checkout@v5
with:
submodules: recursive
fetch-depth: 0
- name: Premake generate
working-directory: ${{ github.workspace }}
env:
PREMAKE_NO_PROMPT: 1
run: ./generate.sh
run: ./generate.sh --oat-version=${{ github.ref_name }}
- name: Build
working-directory: ${{ github.workspace }}
@@ -62,7 +61,7 @@ jobs:
working-directory: ${{ github.workspace }}
env:
PREMAKE_NO_PROMPT: 1
run: ./generate.bat
run: ./generate.bat --oat-version=${{ github.ref_name }}
- name: Build
working-directory: ${{ github.workspace }}