Update docker.yml

add-tracing
Meng Zhang 2023-04-14 13:09:01 +08:00 committed by GitHub
parent e9ccbff3b9
commit ac6637bdbb
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 13 additions and 9 deletions

View File

@ -20,16 +20,20 @@ jobs:
id-token: write
steps:
- name: Maximize build space
uses: easimon/maximize-build-space@master
- name: Free Disk Space (Ubuntu)
uses: jlumbroso/free-disk-space@main
with:
# 50 Gb
root-reserve-mb: 51200
remove-dotnet: true
remove-android: true
remove-haskell: true
remove-codeql: true
remove-docker-images: false
# this might remove tools that are actually needed,
# if set to "true" but frees about 6 GB
tool-cache: true
# 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: false
swap-storage: true
- name: Checkout repository
uses: actions/checkout@v3