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