On Mon, May 20, 2019 at 9:49 PM Ondřej Čertík <[email protected]> wrote: > > > > On Mon, May 20, 2019, at 5:06 PM, Aaron Meurer wrote: > > On Mon, May 20, 2019 at 4:41 PM Ondřej Čertík <[email protected]> wrote: > > > > > > > > > > > > On Mon, May 20, 2019, at 4:15 PM, Aaron Meurer wrote: > > > > On Mon, May 20, 2019 at 3:51 PM Ondřej Čertík <[email protected]> wrote: > > > > > > > > > > > > > > > > > > > > On Mon, May 20, 2019, at 3:44 PM, Isuru Fernando wrote: > > > > > > > > > > > > > > > > > > On Mon, May 20, 2019 at 4:30 PM Aaron Meurer <[email protected]> > > > > > > wrote: > > > > > > > On Mon, May 20, 2019 at 2:45 PM Isuru Fernando <[email protected]> > > > > > > > wrote: > > > > > > > > > > > > > > > > > > > > > > > > On Mon, May 20, 2019 at 3:34 PM Aaron Meurer > > > > > > > <[email protected]> wrote: > > > > > > > >> > > > > > > > >> Thanks. My biggest question has been how we can do it in the > > > > > > > cloud. > > > > > > > >> Most CI services run multiple concurrent jobs on the same > > > > > > > machine, > > > > > > > >> making the performance inconsistent. Does drone.io let you > > > > > > > have a > > > > > > > >> dedicated machine? > > > > > > > > > > > > > > > > > > > > > > > > Drone.io has a shared cloud offering which we don't want. As > > > > > > > you mentioned we can buy a cheap dedicated machine and install > > > > > > > drone on it for free. > > > > > > > > > > > > > > > > Drone might support dedicated machines on the cloud, but I'm > > > > > > > not sure. Travis-CI supports dedicated machines, but we looked at > > > > > > > this for conda-forge and they were quite expensive. > > > > > > > > > > > > > > I see, so Drone is a CI software, similar to gitlab CI or Azure. > > > > > > > > > > > > Yes > > > > > > > We > > > > > > > will need to decide which of those is the most appropriate to > > > > > > > use. > > > > > > > I've heard good things about GitLab CI. Can it not be used with > > > > > > > GitHub > > > > > > > repos? > > > > > > > > > > > > I though it couldn't, but looks like they do, > > > > > > https://about.gitlab.com/handbook/marketing/product-marketing/enablement/github-ci-cd-faq/#open-source-projects-opportunity > > > > > > I like Gitlab CI and I know Ondrej has experience setting up Gitlab > > > > > > runners on dedicated machines. > > > > > > > > > > > > > > > > > > > > Regarding the hardware, the question is if there are cloud > > > > > > > providers > > > > > > > that provide dedicated machines, and how much they cost. If > > > > > > > anyone has > > > > > > > any suggestions for this let me know. > > > > > > > > > > > > If we go with Gitlab CI with github integration, we can use > > > > > > something > > > > > > like https://aws.amazon.com/ec2/pricing/dedicated-instances/ > > > > > > > > That could work. We could use one of the cheaper Linux instances. We > > > > only need one CPU (I don't know if it's safe to run benchmarks in > > > > parallel on multicore machines), and it doesn't matter how fast the > > > > machine is, so long as it is consistent. I guess a faster machine > > > > would make the CI finish faster, but for now the benchmarks only take > > > > about 5 minutes or so to run, so it shouldn't be a big deal. > > > > > > Yes, those dedicated instances might work. > > > > We should shop around more too. $2/hour comes out to $17520/year if > > run 24/7. Even if it's only up 50% of the time that's still a chunk of > > money. But it might be worth it compared to setting up and maintaining > > a physical machine. > > Yes, I was hoping to get something a lot cheaper, we'll see. > > > > > > > > > > > > > > > > > > > > I would suggest to go with GitLab CI if at all possible. It's a solid > > > > > product, and it can be used with GitHub via mirroring on GitLab: > > > > > > > > > > https://about.gitlab.com/solutions/github/ > > > > > > > > Does that work with pull requests? > > > > > > Yes, but not by default, one has to setup a bot to do that. Here is how > > > somebody already did exactly that: > > > > > > https://gitlab.com/gitlab-org/gitlab-ee/issues/5667#note_144893904 > > > > > > Here is an example GitHub PR: > > > > > > https://github.com/coq/coq/pull/9648 > > > > > > if you click on the green check mark, there is a link to the GitLab-CI > > > pipeline. > > > > Looks like the bot has to set the status too. > > > > But it's all doable, and still probably easier to manage than Azure. > > Btw, I just figured out how to run gitlab-runner on Azure, it seems to work. > This is useful to run on a macOS and Windows, as the standard gitlab.com > runners only run on Linux. This is not so useful for benchmarking, as we only > need linux + docker for that, but it's useful for other projects, as then one > can configure the whole pipeline using the same environment in GitLab-CI.
I meant Azure Pipelines. Azure Pipelines has its own runner thing, similar to GitLab CI, where you can have your own machines run CI alongside their CI. But my experience with Azure Pipelines is that it's quite complicated and difficult to get things working, so I plan on trying using GitLab CI instead. Based on what you've said, it is quite easy to get it up and running. Aaron Meurer > > Ondrej > > -- > You received this message because you are subscribed to the Google Groups > "sympy" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > Visit this group at https://groups.google.com/group/sympy. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sympy/33864b7f-20dc-49bd-a23d-fd8d9febf277%40www.fastmail.com. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/CAKgW%3D6K%2BPzFQ4KOkQFKw%2BjhUYapcpLg62XSjMmcNpnx2Dk6ysQ%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
