Summary
- jobs/coverity: adjust mount path to new home dir (details)
- jobs/coverity: fix clean up permission errors (details)
The file was modified | jobs/coverity.yml |
The file was modified | coverity/jenkins.sh |
The file was modified | jobs/coverity.yml |
Commit
6a2451a0ad3dd2f5e3179d64446d9d553a37016d
by Oliver Smith jobs/coverity: adjust mount path to new home dir | |
The file was modified | jobs/coverity.yml |
Commit
afae3d79b5656fa24a4eeb6208e8f2ca379967b4
by Oliver Smith jobs/coverity: fix clean up permission errors | |
The file was modified | coverity/jenkins.sh |
The file was modified | jobs/coverity.yml |