Re: [DISCUSS] Move to GitHub Actions
Jan....@...
Currently, we have 6 repos with CI pipeline. So we have to convert all of the repos with a CI pipeline.
Von: janusgr...@... <janus...@...> im Auftrag von Lakshay Rastogi <laksha...@...>
Gesendet: Freitag, 20. November 2020 04:32:17 An: janusgr...@... Betreff: Re: [DISCUSS] Move to GitHub Actions What would be required in terms of development in order to move to GitHub actions?
On Fri, Nov 20, 2020, 4:09 AM Oleksandr Porunov <alexand...@...> wrote:
You received this message because you are subscribed to the Google Groups "JanusGraph developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to janusgraph-dev+unsu...@.... To view this discussion on the web visit https://groups.google.com/d/msgid/janusgraph-dev/CAPvwvOEHnzhey9Xr5_D2%2B5ZqCB7UK2vKzmb961XMd3if39dfZg%40mail.gmail.com.
|
|