Skip to content
license-check

Add support for exhaleMode annotation #1733

Sign in to view logs

Add support for exhaleMode annotation

Add support for exhaleMode annotation #1733

Triggered via pull request December 13, 2023 12:52
@jcp19jcp19
synchronize #710
joao-mce-annotation
Status Failure
Total duration 18s
Artifacts –

license-check.yml

on: pull_request
check-license-headers
7s
check-license-headers
Fit to window
Zoom out
Zoom in

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.