Re: [petsc-dev] PetscSFCount is not compatible with MPI_Count

[Satish Balay via petsc-dev]

On Tue, 29 Mar 2022, Junchao Zhang wrote:

> Also, it looks we need a 64-bit CI job on Mac.

pushed a CI update to https://gitlab.com/petsc/petsc/-/merge_requests/5050

Satish