Stream: CUDW 2020

Topic: coqffi and dune


view this post on Zulip Thomas Letan (Dec 02 2020 at 22:25):

Hi @Emilio Jesús Gallego Arias I’ve found the stream (:

view this post on Zulip Thomas Letan (Dec 02 2020 at 22:31):

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)

view this post on Zulip Emilio Jesús Gallego Arias (Dec 02 2020 at 23:01):

Sounds good! Let me know what time would be good for you

view this post on Zulip Thomas Letan (Dec 03 2020 at 07:54):

We could start 2PM (Metropolitan France TZ)? I will get back to you on that if that works for you

view this post on Zulip Emilio Jesús Gallego Arias (Dec 03 2020 at 13:02):

Hi @Thomas Letan , that works not so good as I have a work doctor appointment in 30 minutes, how about after the talks?

view this post on Zulip Thomas Letan (Dec 03 2020 at 13:04):

My afternoon is not as clear as I thought, but we can give it a try

view this post on Zulip Emilio Jesús Gallego Arias (Dec 03 2020 at 13:05):

Sure, if not tomorrow most of the day should work, sorry for that

view this post on Zulip Thomas Letan (Dec 03 2020 at 13:09):

To be honest, it would be easier for me tomorrow, let's do that!

view this post on Zulip Emilio Jesús Gallego Arias (Dec 03 2020 at 13:11):

Sure, let's fix a time

view this post on Zulip Thomas Letan (Dec 03 2020 at 13:11):

10AM or 2PM, for instance ?

view this post on Zulip Emilio Jesús Gallego Arias (Dec 03 2020 at 13:11):

Both work for me, you choose

view this post on Zulip Thomas Letan (Dec 03 2020 at 13:12):

Let’s say 10AM then

view this post on Zulip Emilio Jesús Gallego Arias (Dec 03 2020 at 13:12):

Sounds good, thanks!

view this post on Zulip Thomas Letan (Dec 04 2020 at 09:02):

Hi @Emilio Jesús Gallego Arias

view this post on Zulip Thomas Letan (Dec 04 2020 at 09:02):

I am available if you are (: how do you want to proceed?

view this post on Zulip Emilio Jesús Gallego Arias (Dec 04 2020 at 09:05):

Bonjour @Thomas Letan ! Let's take a breakout room in the BBB

view this post on Zulip Emilio Jesús Gallego Arias (Dec 04 2020 at 09:06):

Do you have the link?

view this post on Zulip Thomas Letan (Dec 04 2020 at 09:06):

yep, I have found it

view this post on Zulip Thomas Letan (Dec 04 2020 at 09:06):

which room should we choose then?

view this post on Zulip Emilio Jesús Gallego Arias (Dec 04 2020 at 09:07):

let's take 1 for example


Last updated: Mar 28 2024 at 16:02 UTC