license-check

Add option to disable set axiomatization #1722

Sign in to view logs

Re-run triggered December 4, 2023 10:03

ArquintL

#708

master

Status Failure

Total duration 20s

Artifacts –

license-check.yml

on: pull_request

check-license-headers

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.