gir1.2-peas-1.0 is skipped

Started by alexsid, 2026/02/10, 11:34:43

Previous topic - Next topic

alexsid

The file
gir1.2-peas-1.0
is not updated (skipped) today. Who knows, why?
May the happiness be with you!

finotti

It would guess it is the same issue as I've mentioned in a different post, but I don't have gir1.2-peas-1.0 installed, so I am not sure.

Assuming it is the same issue, my guess is that the new solver is being "extra careful", but it seems like a bug to me.  But I really do not know.