Mon, 08 Nov 2021 20:26:16 +0100 | wenzelm | explicit option metric_argo_timeout, with reasonable default for Raspberry Pi; | file | diff | annotate |
Wed, 03 Nov 2021 11:51:42 +0100 | wenzelm | more generous timeout: support build on Raspberry Pi; | file | diff | annotate |
Sun, 27 Oct 2019 20:07:59 -0400 | immler | added examples for "metric" method, by Maximilian Schäffeler | file | diff | annotate |