Skip to content

Merge remote-tracking branch 'origin' into uz/monthly_maintenance #618

Merge remote-tracking branch 'origin' into uz/monthly_maintenance

Merge remote-tracking branch 'origin' into uz/monthly_maintenance #618

Triggered via push September 25, 2024 10:07
Status Success
Total duration 5m 17s
Artifacts

ngsPETSc.yml

on: push
Fit to window
Zoom out
Zoom in