May I get an INRIA external account to report issues with Flocq?
@Yishuai Li I'll create you one.
For future me and future other Inria people having to create external accounts: the page to do so is https://external-account.inria.fr/ and it requires being connected to the VPN.
@Yishuai Li Could you confirm that you did get an invitation?
Also FYI your external account will need to be extended every year.
he managed to report the issue in any case: https://gitlab.inria.fr/flocq/flocq/-/issues/13
Last updated: May 31 2023 at 17:01 UTC