On Thu, 22 Aug 2019, Balay, Satish via petsc-users wrote: > > > > Please do not make pull requests to the Gitlab site yet; we will be > > manually processing the PR from the BitBucket site over the next couple of > > days as we implement the testing. > > > > Please be patient, this is all new to use and it may take a few days to > > get out all the glitches. > > Just an update: > > We are still in the process of setting up the CI at gitlab. So we are > not yet ready to process PRs [or Merge Requests (MRs) in gitlab terminology] > > As of now - we have the old jenkins equivalent [and a few additional] > tests working with gitlab setup. i.e > > https://gitlab.com/petsc/petsc/pipelines/77669506 > > But we are yet to migrate all the regular [aka next] tests to this > infrastructure.
All, We now have a preliminary CI in place that can process merge requests (MRs) - so please go ahead and submit them. Satish
