unstable: fail (log)
The tests ran in 0:00:25
Last run: 2026-02-14T00:57:15.000Z
Previous status: unknown
testing: pass (log)
The tests ran in 0:01:03
Last run: 2026-02-13T15:19:18.000Z
Previous status: unknown
stable: pass (log)
The tests ran in 0:00:46
Last run: 2025-11-08T20:20:37.000Z
Previous status: unknown
Marked for autoremoval on 28 March due to camlp5: #1127765high
Version 1.9.0-1 of mathcomp-analysis is marked for autoremoval from testing on Sat 28 Mar 2026. It depends (transitively) on camlp5, affected by #1127765. You should try to prevent the removal by fixing these RC bugs.