Stream: Coq devs & plugin devs

Topic: Flocq bug report

view this post on Zulip Yishuai Li (Sep 09 2020 at 07:04):

May I get an INRIA external account to report issues with Flocq?

view this post on Zulip Théo Zimmermann (Sep 09 2020 at 07:07):

@Yishuai Li I'll create you one.

view this post on Zulip Théo Zimmermann (Sep 09 2020 at 07:11):

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.

view this post on Zulip Théo Zimmermann (Sep 09 2020 at 08:22):

@Yishuai Li Could you confirm that you did get an invitation?

view this post on Zulip Théo Zimmermann (Sep 09 2020 at 08:23):

Also FYI your external account will need to be extended every year.

view this post on Zulip Karl Palmskog (Sep 09 2020 at 08:39):

he managed to report the issue in any case: https://gitlab.inria.fr/flocq/flocq/-/issues/13

Last updated: Dec 07 2023 at 08:01 UTC