Stream: Coq Hackathon and Working Group, Winter 2022

Topic: Connecting


view this post on Zulip Cyril Cohen (Feb 15 2022 at 09:07):

I'm confused: https://github.com/coq/coq/wiki/CoqWG-2022-02 says the hackathon begins at 10am Paris time, however I tried both BBB links and they don't work...

view this post on Zulip Cyril Cohen (Feb 15 2022 at 09:09):

Hasn't it sarted yet, or am I trying the wrong link?

view this post on Zulip Théo Zimmermann (Feb 15 2022 at 09:10):

It looks like it hasn't started yet because @Emilio Jesús Gallego Arias isn't online yet.

view this post on Zulip Cyril Cohen (Feb 15 2022 at 09:10):

OK, and the link is https://bbb.inria.fr/gal-afg-2va-fun (General meeting room), right?

view this post on Zulip Théo Zimmermann (Feb 15 2022 at 09:10):

This is my understanding.

view this post on Zulip Ali Caglayan (Feb 15 2022 at 09:14):

Would should start shortly, sorry for the delay!

view this post on Zulip Emilio Jesús Gallego Arias (Feb 15 2022 at 09:14):

Ok folks I was late sorry

view this post on Zulip Emilio Jesús Gallego Arias (Feb 15 2022 at 09:14):

It should be good now

view this post on Zulip Emilio Jesús Gallego Arias (Feb 15 2022 at 09:14):

I should have started it before leaving home, an oversight on my part

view this post on Zulip Emilio Jesús Gallego Arias (Feb 15 2022 at 09:16):

Can you folks hear me?

view this post on Zulip Janno (Feb 15 2022 at 09:16):

Yes


Last updated: Jan 29 2023 at 14:02 UTC