Skip to content
Commit 91e8c9c1 authored by Giovanni Bussi's avatar Giovanni Bussi
Browse files

Attempt to decrease disk usage on github actions 

(cherry picked from commit 66363a3f)
parent d9cfd21a
Hide whitespace changes
Inline Side-by-side
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