Skip to content

Commit

Permalink
ci: skip wavm extraction on PRs
Browse files Browse the repository at this point in the history
We don't push the image so we can't extract the wavm root.
  • Loading branch information
sveitser committed Nov 22, 2024
1 parent 9e0b43b commit 8bfaa7c
Showing 1 changed file with 2 additions and 3 deletions.
5 changes: 2 additions & 3 deletions .github/workflows/espresso-docker.yml
Original file line number Diff line number Diff line change
Expand Up @@ -123,9 +123,8 @@ jobs:

# The module root is not identical for the ARM build so we upload
# the binary only for AMD64.

- name: Extract WAVM machine from container and print its root
if: matrix.platform == 'linux/amd64'
if: ${{ matrix.platform == 'linux/amd64' && github.event_name != 'pull_request' }}
id: module-root
run: |
# Unfortunately, `docker cp` seems to always result in a "permission denied"
Expand All @@ -140,7 +139,7 @@ jobs:
- name: Upload WAVM machine as artifact
uses: actions/upload-artifact@v3
if: matrix.platform == 'linux/amd64'
if: ${{ matrix.platform == 'linux/amd64' && github.event_name != 'pull_request' }}
with:
name: wavm-machine-${{ steps.module-root.outputs.module-root }}
path: target/machines/latest/*
Expand Down

0 comments on commit 8bfaa7c

Please sign in to comment.