Skip to content

PETSc CI Undo Reversion #1686

@jeremylt

Description

@jeremylt

See discussion here #1681

We temporarily reverted https://gitlab.com/petsc/petsc/-/commit/7ada2a5134eeb4113b6693316dd2660902f08a96

but we need to find the root cause of the bug and patch it, then revert this reversion.

Metadata

Metadata

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions