A bit of digression here: could you say why you've made the move? I've been tempted to migrate as well because I'm getting more and more problems from Travis especially in its macOS instances, and one of the pros of circleCI is its support of using docker images. But I'm yet to have time to learn about how to migrate. May be I'll start by pandoc's example and replicate pandoc-nightly using circldCI instead (pandoc-nightly is basically just a travis script.) -- You received this message because you are subscribed to the Google Groups "pandoc-discuss" group. To unsubscribe from this group and stop receiving emails from it, send an email to pandoc-discuss+unsubscribe-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org To post to this group, send email to pandoc-discuss-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org To view this discussion on the web visit https://groups.google.com/d/msgid/pandoc-discuss/ece2aafd-fccf-4316-93a0-ff9735ac7322%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.