Skip to content
[Jenkins]Jenkins
log in
The Jenkins Controller is preparing for shutdown. No new builds can be started.
Success

Changes

Summary

  1. made sure to flush gl/cl pipelines correctly (-> fixed rare segmentation (details)
Commit 2c230d8e774653c68905b5817c935c405ba1b548 by Michael Bien
made sure to flush gl/cl pipelines correctly (-> fixed rare segmentation fault).