Skip to content

CI: add lib/petsc/bin/maint/runjobs.py script that allows developers to select exact jobs to run within a pipeline

Creates a new commit that modifies the .gitlab-ci.yml file in a new commit to run only a given list of jobs on the git push of a branch that has a merge request

Example:

$ ./lib/petsc/bin/maint/runjobs.py linux-emcc
$ git push
Edited by Stefano Zampini

Merge request reports