diff options
| author | Larry Knox <lrknox@hdfgroup.org> | 2022-11-23 20:00:00 (GMT) |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-23 20:00:00 (GMT) |
| commit | eac2cd54e209cfa9556174f3fc1a592533aa64ad (patch) | |
| tree | ab6587c314660ec4714f84ce40a86e50fa6efeba /tools | |
| parent | 3e762b07aade3a54bcd3e3e5e543fedbba83ab3f (diff) | |
| download | hdf5-eac2cd54e209cfa9556174f3fc1a592533aa64ad.zip hdf5-eac2cd54e209cfa9556174f3fc1a592533aa64ad.tar.gz hdf5-eac2cd54e209cfa9556174f3fc1a592533aa64ad.tar.bz2 | |
Develop ubuntu 20.04 (#2267)
* Use ubuntu-20.04 for github autotools parallel tests until parallel
configure is fixed on ubuntu 22.04.
* Remove inactive developers from CODEOWNERS.
* Temporarily cat config.log for autotools build in github actions.
* Try ubuntu-latest.
* Attempt to cat config.log even when configure fails.
* Fix syntax.
* Try again
* Try again
* Try again.
* Back to original temporary fix.
* Install libopenmpi-dev with openmpi-bin, which was installed as a
dependency prior to ubuntu-22.04.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions