#935 (Apr 23, 2024, 4:09:06 AM)

	Changes CI: add lib/petsc/bin/maint/runjobs.py script that allows developers to select exact jobs to run within a pipeline (details / gitlab) docs: add in a note on current release schedule (details / gitlab)
	Started by an SCM change
	Revision: bc11479036ad8eba1ad971dfea6ddf076415a54b Repository: https://gitlab.com/petsc/petsc.git refs/remotes/origin/release
	SCM: git https://gitlab.com/petsc/petsc.git Commits since last build: 2 Latest commit: bc11479