hotfix: bump petsc 3.21.5 → 3.24; add v3.1.0 Binder badge to README - #462
Open
jcgraciosa wants to merge 1 commit into
Open
hotfix: bump petsc 3.21.5 → 3.24; add v3.1.0 Binder badge to README#462jcgraciosa wants to merge 1 commit into
jcgraciosa wants to merge 1 commit into
Commits
Commits on Jul 28, 2026
- committed
Juan Carlos Graciosa