Cyril Cohen (Feb 15 2022 at 09:07): 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...
Cyril Cohen (Feb 15 2022 at 09:09):Hasn't it sarted yet, or am I trying the wrong link?
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.
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?
Théo Zimmermann (Feb 15 2022 at 09:10):This is my understanding.
Ali Caglayan (Feb 15 2022 at 09:14):Would should start shortly, sorry for the delay!
Emilio Jesús Gallego Arias (Feb 15 2022 at 09:14):Ok folks I was late sorry
Emilio Jesús Gallego Arias (Feb 15 2022 at 09:14):It should be good now
Emilio Jesús Gallego Arias (Feb 15 2022 at 09:14):I should have started it before leaving home, an oversight on my part
Emilio Jesús Gallego Arias (Feb 15 2022 at 09:16):Can you folks hear me?
Janno (Feb 15 2022 at 09:16):Yes
Last updated: Jun 10 2023 at 23:01 UTC