| Version | Triggers | Date | Duration | Requester | Result | |
| 3.2.0-6 | coquelicot/3.2.0-6 | 2022-06-20 09:24:11 UTC | 0h 11m 35s | - | pass | log artifacts |
| 3.2.0-5ubuntu1 | coquelicot/3.2.0-5ubuntu1 coq/8.15.2+dfsg-2 ssreflect/1.14.0-12 | 2022-06-15 15:59:12 UTC | 0h 02m 15s | - | pass | log artifacts |
| 3.2.0-5build1 | coquelicot/3.2.0-5build1 coq/8.15.2+dfsg-2 ssreflect/1.14.0-12 | 2022-06-13 15:52:22 UTC | 0h 03m 58s | - | fail | log artifacts ♻ |
| 3.2.0-5 | coquelicot/3.2.0-5 coq/8.15.2+dfsg-2 ssreflect/1.14.0-12 | 2022-06-13 01:19:14 UTC | 0h 05m 29s | - | fail | log artifacts ♻ |
| 3.2.0-4 | ssreflect/1.14.0-12 coq/8.15.2+dfsg-2 | 2022-06-12 19:21:49 UTC | 0h 04m 24s | - | pass | log artifacts |
| 3.2.0-4 | coq/8.15.2+dfsg-2 | 2022-06-12 07:36:31 UTC | 0h 08m 10s | - | pass | log artifacts |
| 3.2.0-4 | coquelicot/3.2.0-4 coq/8.15.2+dfsg-1 ssreflect/1.14.0-11 | 2022-06-02 13:31:40 UTC | 0h 14m 42s | - | pass | log artifacts |
| 3.2.0-3 | ssreflect/1.14.0-11 coq/8.15.2+dfsg-1 | 2022-06-02 04:45:12 UTC | 0h 19m 16s | - | fail | log artifacts ♻ |
| 3.2.0-3 | coq/8.15.2+dfsg-1 | 2022-06-01 22:45:46 UTC | 0h 26m 05s | - | fail | log artifacts ♻ |
| 3.2.0-3 | coquelicot/3.2.0-3 ssreflect/1.14.0-10 coq/8.15.1+dfsg-2 | 2022-05-26 08:46:35 UTC | 0h 14m 36s | ginggs | pass | log artifacts |
| 3.2.0-3 | coquelicot/3.2.0-3 | 2022-05-23 19:45:31 UTC | 0h 16m 18s | - | fail | log artifacts ♻ |
| 3.2.0-2 | ssreflect/1.14.0-10 | 2022-05-23 00:42:15 UTC | 0h 04m 47s | - | fail | log artifacts ♻ |
| 3.2.0-2 | migration-reference/0 | 2022-05-21 03:21:21 UTC | 0h 11m 28s | - | pass | log artifacts |
| 3.2.0-2 | coq/8.15.1+dfsg-2 | 2022-05-21 02:07:27 UTC | 0h 11m 54s | - | fail | log artifacts ♻ |
| 3.2.0-2 | coquelicot/3.2.0-2 | 2022-05-18 09:57:49 UTC | 0h 02m 36s | - | pass | log artifacts |
| 3.2.0-1 | coquelicot/3.2.0-1 | 2022-05-15 15:53:52 UTC | 0h 05m 02s | - | pass | log artifacts |
| 0.9.6-1ubuntu1 | ruby-fast-gettext/2.0.0-1 | 2019-02-03 07:38:04 UTC | 0h 08m 50s | - | pass | log artifacts |