Draft: Type Modifier Unification #1675
jcp19license-check.yml
on: pull_request
check-license-headers
9s
Annotations
10 errors
|
check-license-headers
'src/main/scala/viper/gobra/frontend/info/implementation/typing/base/TypingComponents.scala' does not contain license from '.github/license-check/headers/MPLv2-ETH.txt'
|
|
check-license-headers
'src/main/scala/viper/gobra/frontend/info/implementation/typing/modifiers/ghost/GhostModifier.scala' does not contain license from '.github/license-check/headers/MPLv2-ETH.txt'
|
|
check-license-headers
'src/main/scala/viper/gobra/frontend/info/implementation/typing/modifiers/ghost/GhostModifierUnit.scala' does not contain license from '.github/license-check/headers/MPLv2-ETH.txt'
|
|
check-license-headers
'src/main/scala/viper/gobra/frontend/info/implementation/typing/modifiers/Modifier.scala' does not contain license from '.github/license-check/headers/MPLv2-ETH.txt'
|
|
check-license-headers
'src/main/scala/viper/gobra/frontend/info/implementation/typing/modifiers/ModifierUnit.scala' does not contain license from '.github/license-check/headers/MPLv2-ETH.txt'
|
|
check-license-headers
'src/main/scala/viper/gobra/frontend/info/implementation/typing/modifiers/owner/OwnerModifier.scala' does not contain license from '.github/license-check/headers/MPLv2-ETH.txt'
|
|
check-license-headers
'src/main/scala/viper/gobra/frontend/info/implementation/typing/modifiers/owner/OwnerModifierUnit.scala' does not contain license from '.github/license-check/headers/MPLv2-ETH.txt'
|
|
check-license-headers
'src/main/scala/viper/gobra/frontend/info/implementation/typing/ModifierTyping.scala' does not contain license from '.github/license-check/headers/MPLv2-ETH.txt'
|
|
check-license-headers
'src/test/resources/modifiers/invalid_addressability.gobra' does not contain license from '.github/license-check/headers/CC0.txt'
|
|
check-license-headers
'src/test/resources/modifiers/valid_return.gobra' does not contain license from '.github/license-check/headers/CC0.txt'
|