Add support for exhaleMode
annotation
#1733
license-check.yml
on: pull_request
check-license-headers
7s
Annotations
3 errors
check-license-headers
'src/main/scala/viper/gobra/translator/util/VprInfo.scala' does not contain license from '.github/license-check/headers/MPLv2-ETH.txt'
|
check-license-headers
'src/main/scala/viper/gobra/util/ExhaleMode.scala' does not contain license from '.github/license-check/headers/MPLv2-ETH.txt'
|
check-license-headers
2 error(s) and 0 warning(s) found. Warnings are treated as errors.
|