unstable: fail (log)
The tests ran in 0:00:16
Last run: 2025-08-26T11:04:24.000Z
Previous status: unknown
testing: pass (log)
The tests ran in 0:00:33
Last run: 2025-08-01T19:07:55.000Z
Previous status: unknown
stable: pass (log)
The tests ran in 0:00:54
Last run: 2025-08-20T20:45:23.000Z
Previous status: unknown
Marked for autoremoval on 03 November due to gringo: #1112978high
Version 2.3.0-1 of ssreflect is marked for autoremoval from testing on Mon 03 Nov 2025. It depends (transitively) on gringo, affected by #1112978. You should try to prevent the removal by fixing these RC bugs.