Skip to content

Commit

Permalink
feat(risc0): update workflow
Browse files Browse the repository at this point in the history
  • Loading branch information
hunshenshi committed Aug 12, 2024
1 parent c1edb82 commit 9a8be99
Showing 1 changed file with 15 additions and 0 deletions.
15 changes: 15 additions & 0 deletions .github/workflows/risc0-image.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -25,6 +25,21 @@ jobs:
id-token: write

steps:
- name: Free Disk Space (Ubuntu)
uses: jlumbroso/free-disk-space@main
with:
# this might remove tools that are actually needed,
# if set to "true" but frees about 6 GB
tool-cache: false
# all of these default to true, but feel free to set to
# "false" if necessary for your workflow
android: true
dotnet: true
haskell: true
large-packages: true
docker-images: true
swap-storage: true

- uses: actions/checkout@v3
with:
ref: ${{ github.event.pull_request.head.sha }}
Expand Down

0 comments on commit 9a8be99

Please sign in to comment.