Skip to content
GitLab
Unverified Commit e1dbc225 authored by Kito Cheng's avatar Kito Cheng Committed by GitHub
Browse files

Merge pull request #1287 from patrick-rivos/ci-space-saver 

Remove source trees after CI build to recover disk space before packaging
parents 6da38554 f377e0ef
Hide whitespace changes
Inline Side-by-side
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment