Summary
- CI: add lib/petsc/bin/maint/runjobs.py script that allows developers to select exact jobs to run within a pipeline (details)
- docs: add in a note on current release schedule (details)
The file was modified | doc/developers/contributing/pipelines.rst (diff) |
The file was modified | doc/changes/321.rst (diff) |
The file was added | lib/petsc/bin/maint/runjobs.py (diff) |
The file was modified | doc/install/download.rst (diff) |