fix: Update build script and CI workflow for new directory structure
This commit is contained in:
2
.github/workflows/build.yml
vendored
2
.github/workflows/build.yml
vendored
@@ -59,7 +59,6 @@ jobs:
|
|||||||
if: steps.cache-unicorn.outputs.cache-hit != 'true'
|
if: steps.cache-unicorn.outputs.cache-hit != 'true'
|
||||||
run: |
|
run: |
|
||||||
bash script/rebuild-unicorn.sh
|
bash script/rebuild-unicorn.sh
|
||||||
working-directory: anisette-rs
|
|
||||||
env:
|
env:
|
||||||
UNICORN_DIR: ${{ github.workspace }}/../unicorn
|
UNICORN_DIR: ${{ github.workspace }}/../unicorn
|
||||||
UNICORN_BUILD_DIR: ${{ github.workspace }}/../unicorn/build
|
UNICORN_BUILD_DIR: ${{ github.workspace }}/../unicorn/build
|
||||||
@@ -69,7 +68,6 @@ jobs:
|
|||||||
- name: Build WASM glue
|
- name: Build WASM glue
|
||||||
run: |
|
run: |
|
||||||
bash script/build-glue.sh --release
|
bash script/build-glue.sh --release
|
||||||
working-directory: anisette-rs
|
|
||||||
env:
|
env:
|
||||||
UNICORN_BUILD_DIR: ${{ github.workspace }}/../unicorn/build
|
UNICORN_BUILD_DIR: ${{ github.workspace }}/../unicorn/build
|
||||||
EMSDK: ${{ runner.tool_cache }}/emsdk
|
EMSDK: ${{ runner.tool_cache }}/emsdk
|
||||||
|
|||||||
Reference in New Issue
Block a user