Skip to content
Snippets Groups Projects

always add Proof. after Restart.

Passed
Ralf Jung created pipeline for commit 2d9a7ce0
, finished
Related merge request !547 to merge ralf/restart
merge request
2 jobs 5 minutes 24 seconds, queued for 1 seconds