Open joske opened 1 month ago
The log line The proof target does not match the expected proof target is present in 3 different places, making it hard to pinpoint where the problem lies. This PR deduplicates these log lines.
The proof target does not match the expected proof target
Motivation
The log line
The proof target does not match the expected proof targetis present in 3 different places, making it hard to pinpoint where the problem lies. This PR deduplicates these log lines.