Skip to content

docker: share pids with container

Mark Janes requested to merge majanes/mesa_jenkins:pid into master

In order to detect gpu hangs within the container, the process id reported by dmesg must exist within the container.

The options passed to the service are growing, so I took this opportunity to alphabetize them.

Merge request reports