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...
Hasn't it sarted yet, or am I trying the wrong link?
It looks like it hasn't started yet because @Emilio Jesús Gallego Arias isn't online yet.
OK, and the link is https://bbb.inria.fr/gal-afg-2va-fun (General meeting room), right?
This is my understanding.
Would should start shortly, sorry for the delay!
Ok folks I was late sorry
It should be good now
I should have started it before leaving home, an oversight on my part
Can you folks hear me?
Last updated: Jun 10 2023 at 23:01 UTC