GNU Make: Remove old machines like summit and cori #3789
petsc.yml
on: pull_request
check_changes
/
check
3s
GCC 2D EB PETSc
3m 46s