avoid overwriting proofsEnabled
through default parameter
#4494
This job succeeded
Loading
proofsEnabled
through default parameter
#4494