I... am not exactly sure what happened. But I "turned it off and turned it on again" and it seems to be syncing now.
On Mon, 10 Jul 2023 at 10:32, Mikolaj Konarski <miko...@well-typed.com> wrote: > > Actually it looks like mirroring is still paused. > > Indeed. The pipeline is green, but it stopped updating > at around the same time as the warning email. > > > I will look into this today. > > Thank you so much. > > Cheers, > Mikolaj >
_______________________________________________ cabal-devel mailing list cabal-devel@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/cabal-devel