Repository navigation

Download PETSc from Zenodo, with the DataverseNL mirror as the fallback - #20

Merged

timlichtenberg merged 5 commits into

mainfrom

tl/petsc-zenodo

Oct 8, 2026

Merged

Download PETSc from Zenodo, with the DataverseNL mirror as the fallback#20
timlichtenberg merged 5 commits into
mainfrom
tl/petsc-zenodo

Commits on Oct 6, 2026
- Download PETSc from Zenodo, with the DataverseNL mirror as the fallback
  timlichtenberg
  committed
  ce1f759
Commits on Oct 7, 2026
- Merge main into tl/petsc-zenodo
  timlichtenberg
  committed
  ea124ce
- Point the PETSc download at its DataverseNL mirror
  timlichtenberg
  committed
  a1cfe36
- Stop on an empty PETSc hash and time out stalled downloads
  timlichtenberg
  committed
  fb246ac
- Stop the PETSc download when no hash tool is installed
  timlichtenberg
  committed
  a706b9d