You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Since I don't have magma, I cannot explicitly check, but given that fermat is green (since that has magma), I am going to put this as a positive review.
that prevent the patchbot fermat to run smoothly
CC: @embray @jdemeyer @tscrim @kiwifb @vbraun
Component: interfaces: optional
Author: Frédéric Chapoton
Branch/Commit:
4f9221a
Reviewer: Travis Scrimshaw
Issue created by migration from https://trac.sagemath.org/ticket/26605
The text was updated successfully, but these errors were encountered: