Merge remote-tracking branch 'origin/release'
Merge branch 'balay/ci-fp16' into 'release'__fp16: fix build, and add to CISee merge request petsc/petsc!8903
__fp16: fix 'make check'