| Version | Triggers | Date | Duration | Requester | Result | |
| 3.2.0-6 | coquelicot/3.2.0-6 | 2022-06-20 10:44:48 UTC | 0h 03m 58s | - | 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-14 18:19:58 UTC | 0h 03m 45s | - | 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:50:53 UTC | 0h 02m 28s | - | 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:20:41 UTC | 0h 06m 05s | - | fail | log artifacts ♻ |
| 3.2.0-4 | ssreflect/1.14.0-12 coq/8.15.2+dfsg-2 | 2022-06-12 19:19:42 UTC | 0h 02m 15s | - | fail | log artifacts ♻ |
| 3.2.0-4 | coq/8.15.2+dfsg-2 | 2022-06-12 07:48:54 UTC | 0h 04m 35s | - | fail | 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:17:20 UTC | 0h 02m 58s | - | pass | log artifacts |
| 3.2.0-3 | ssreflect/1.14.0-11 coq/8.15.2+dfsg-1 | 2022-06-02 01:43:20 UTC | 0h 02m 02s | - | fail | log artifacts ♻ |
| 3.2.0-3 | coq/8.15.2+dfsg-1 | 2022-06-01 09:00:42 UTC | 0h 02m 23s | - | 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:36:20 UTC | 0h 04m 22s | ginggs | pass | log artifacts |
| 3.2.0-3 | coquelicot/3.2.0-3 | 2022-05-23 19:27:16 UTC | 0h 02m 01s | - | fail | log artifacts ♻ |
| 3.2.0-2 | ssreflect/1.14.0-10 | 2022-05-23 01:43:47 UTC | 0h 02m 13s | - | fail | log artifacts ♻ |
| 3.2.0-2 | migration-reference/0 | 2022-05-21 03:12:26 UTC | 0h 03m 26s | - | pass | log artifacts |
| 3.2.0-2 | coq/8.15.1+dfsg-2 | 2022-05-21 01:14:48 UTC | 0h 04m 49s | - | fail | log artifacts ♻ |
| 3.2.0-2 | coquelicot/3.2.0-2 | 2022-05-18 09:58:09 UTC | 0h 02m 54s | - | pass | log artifacts |
| 3.2.0-1 | coquelicot/3.2.0-1 | 2022-05-15 15:56:08 UTC | 0h 07m 16s | - | pass | log artifacts |
| 0.9.6-1ubuntu1 | gem2deb/0.41 | 2019-02-03 17:50:47 UTC | 0h 05m 03s | - | pass | log artifacts |