<div dir="ltr"><div style="font-family:arial,sans-serif" class="gmail_default">Oh my, I just discovered that Cheng Shao has recently put something together for working on GHC with Gitpod:</div><div style="font-family:arial,sans-serif" class="gmail_default"><br></div><div style="font-family:arial,sans-serif;margin-left:40px" class="gmail_default"><a href="https://github.com/TerrorJack/gitpod-ghc">https://github.com/TerrorJack/gitpod-ghc</a></div><div style="font-family:arial,sans-serif" class="gmail_default"><br></div><div style="font-family:arial,sans-serif" class="gmail_default">However, it looks like it isn't using the Debian images from the GHC CI.</div><div style="font-family:arial,sans-serif" class="gmail_default"><br></div><div style="font-family:arial,sans-serif" class="gmail_default">Sorry for the noise.<br></div><div style="font-family:arial,sans-serif" class="gmail_default"><br></div><div style="font-family:arial,sans-serif" class="gmail_default">Cheers,</div><div style="font-family:arial,sans-serif" class="gmail_default">Steve</div><br></div>