Skip to content

Commit

Permalink
Fix artifact output directories (#1004)
Browse files Browse the repository at this point in the history
  • Loading branch information
ribbanya authored Nov 12, 2023
1 parent 1adba28 commit 1fecc09
Show file tree
Hide file tree
Showing 2 changed files with 8 additions and 8 deletions.
8 changes: 4 additions & 4 deletions .github/workflows/dump-asm.yml
Original file line number Diff line number Diff line change
Expand Up @@ -12,6 +12,7 @@ jobs:
runs-on: ubuntu-latest
env:
REGISTRY: ghcr.io
OUTPUT: ${{ github.workspace }}/output
steps:
- name: Get image name
env:
Expand Down Expand Up @@ -49,14 +50,13 @@ jobs:

- name: Dump assembly
run: |
output="${{ github.workspace }}/output"
mkdir -p "$output"
mkdir -p "${{ env.OUTPUT }}"
short_sha="$(echo "${{ github.sha }}" | cut -c 1-7)"
tree_url="${{ github.server_url }}/${{ github.repository }}/tree/${{ github.sha }}"
docker run --rm \
--user "$(id -u):$(id -g)" \
--volume "$PWD:/input:ro" \
--volume "$output:/output" \
--volume "${{ env.OUTPUT }}:/output" \
-e SHORT_SHA="$short_sha" \
-e TREE_URL="$tree_url" \
${{ env.REGISTRY }}/${{ env.IMAGE }}
Expand All @@ -65,7 +65,7 @@ jobs:
uses: actions/upload-artifact@v3
with:
name: dump
path: /tmp/output
path: ${{ env.OUTPUT }}

push-dump:
name: Push dump
Expand Down
8 changes: 4 additions & 4 deletions .github/workflows/publish-pages.yml
Original file line number Diff line number Diff line change
Expand Up @@ -13,6 +13,7 @@ jobs:
runs-on: ubuntu-latest
env:
REGISTRY: ghcr.io
OUTPUT: ${{ github.workspace }}/output
steps:
- name: Get image name
env:
Expand Down Expand Up @@ -50,19 +51,18 @@ jobs:

- name: Generate pages
run: |
output="${{ github.workspace }}/output"
mkdir -p "$output"
mkdir -p "${{ env.OUTPUT }}"
docker run --rm \
--user "$(id -u):$(id -g)" \
--volume "$PWD:/input:ro" \
--volume "$output:/output" \
--volume "${{ env.OUTPUT }}:/output" \
${{ env.REGISTRY }}/${{ env.IMAGE }}
- name: Upload generated pages
uses: actions/upload-artifact@v3
with:
name: pages
path: /tmp/output
path: ${{ env.OUTPUT }}

deploy-pages:
name: Deploy to GitHub Pages
Expand Down

0 comments on commit 1fecc09

Please sign in to comment.