build history of coq-serapi on armhf
| build date | version | suite | architecture | result | build duration | node1 | node2 | job |
|---|---|---|---|---|---|---|---|---|
| 2024-06-21 12:13:00 | 8.19.0+0.19.3-3 | unstable | armhf | reproducible |
20m 19s | virt64a-armhf-rb | virt32b-armhf-rb | armhf_12/6720 |
| 2024-05-28 00:38:00 | 8.19.0+0.19.3-2 | unstable | armhf | reproducible |
40m 48s | cbxi4pro0-armhf-rb | virt64b-armhf-rb | armhf_35/3274 |