diff options
| author |  Jorge Aparicio <jorge@japaric.io>
| 2019-02-15 20:37:06 +0100 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io>
| 2019-02-19 13:13:16 +0100 |
| commit | fe70817653db4f53c3069fb733b73f06ddedfbcf (patch) | |
| tree | 72a51bccf4d18cef65285879125307fa3508cf8c /src | |
| parent | 16821c8315fc5e0f9bfbc6ddd7ca79cc2b1d5d40 (diff) | |
| download | rtic-fe70817653db4f53c3069fb733b73f06ddedfbcf.tar.gz rtic-fe70817653db4f53c3069fb733b73f06ddedfbcf.tar.zst rtic-fe70817653db4f53c3069fb733b73f06ddedfbcf.zip | |
ci: report the size of built examples
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions