Skip to content
license-check

Parsing and type-checking generics #1673

Sign in to view logs

Parsing and type-checking generics

Parsing and type-checking generics #1673

Re-run triggered August 25, 2023 18:06
@jcp19jcp19
#671
koflin:generics-merged
Status Failure
Total duration 16s
Artifacts –

license-check.yml

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

Annotations

5 errors
check-license-headers
'src/main/scala/viper/gobra/frontend/info/implementation/property/Satisfiability.scala' does not contain license from '.github/license-check/headers/MPLv2-ETH.txt'
check-license-headers
'src/main/scala/viper/gobra/frontend/info/implementation/resolution/TypeSet.scala' does not contain license from '.github/license-check/headers/MPLv2-ETH.txt'
check-license-headers
'src/test/scala/viper/gobra/ast/TypeNodeUnitTests.scala' does not contain license from '.github/license-check/headers/MPLv2-ETH.txt'
check-license-headers
'src/main/antlr4/GoParser.g4' does not contain license from '.github/license-check/headers/BSD-3-SIDM.txt'
check-license-headers
4 error(s) and 0 warning(s) found. Warnings are treated as errors.