diff options
| author | Javier Jardón <jjardon@gnome.org> | 2017-07-02 12:52:37 +0100 |
|---|---|---|
| committer | Javier Jardón <jjardon@gnome.org> | 2017-07-06 11:54:28 +0100 |
| commit | bfe90f256dbf9e9b3834bbe55c68dd2736d2d871 (patch) | |
| tree | 7128666f0eb6b322de0662628e0252cc87696974 /trove | |
| parent | 4256bfb5a7728fd515d10c68df462a0e315e4db9 (diff) | |
| download | definitions-jjardon/revert_gcc71.tar.gz | |
Use /cache to put all contentsjjardon/revert_gcc71
This is how a runner looks like:
$ df -h
Filesystem Size Used Avail Use% Mounted on
/dev/mapper/docker-252:1-262208-36eaa91b86966a7afa39fbdbe717bdec58bc10efc52e09accd3e8e9ee4038658 10G 144M 9.9G 2% /
tmpfs 3.9G 0 3.9G 0% /dev
tmpfs 3.9G 0 3.9G 0% /sys/fs/cgroup
/dev/vda1 79G 1.2G 75G 2% /cache
shm 64M 0 64M 0% /dev/shm
Diffstat (limited to 'trove')
0 files changed, 0 insertions, 0 deletions