Add option to disable set axiomatization #1722
Annotations
2 errors
|
Check license headers
'src/main/resources/noaxioms/sets.vpr' does not contain license from '.github/license-check/headers/MPLv2-ETH.txt'
|
|
Check license headers
1 error(s) and 0 warning(s) found. Warnings are treated as errors.
|
The logs for this run have expired and are no longer available.
Loading