Hi @Emilio Jesús Gallego Arias I’ve found the stream (:
I am currently in the middle of a big refactoring of
coqffi, but I can focus on trying to work on a prototype PR for
coqffi support in
dune tomorrow if you’re still interested (I saw tomorrow is the last day of the workshop)
Sounds good! Let me know what time would be good for you
We could start 2PM (Metropolitan France TZ)? I will get back to you on that if that works for you
Hi @Thomas Letan , that works not so good as I have a work doctor appointment in 30 minutes, how about after the talks?
My afternoon is not as clear as I thought, but we can give it a try
Sure, if not tomorrow most of the day should work, sorry for that
To be honest, it would be easier for me tomorrow, let's do that!
Sure, let's fix a time
10AM or 2PM, for instance ?
Both work for me, you choose
Let’s say 10AM then
Sounds good, thanks!
Hi @Emilio Jesús Gallego Arias
I am available if you are (: how do you want to proceed?
Bonjour @Thomas Letan ! Let's take a breakout room in the BBB
Do you have the link?
yep, I have found it
which room should we choose then?
let's take 1 for example
Last updated: Jun 11 2023 at 00:30 UTC