Fixes #823 #1955
ArquintLlicense-check.yml
on: pull_request
check-license-headers
4s
Annotations
5 errors and 1 warning
|
check-license-headers
'src/test/resources/regressions/features/backends/carbon.gobra' does not contain license from '.github/license-check/headers/CC0.txt'
|
|
check-license-headers
'src/test/resources/regressions/features/backends/silicon.gobra' does not contain license from '.github/license-check/headers/CC0.txt'
|
|
check-license-headers
'src/test/resources/regressions/features/backends/vs-with-carbon.gobra' does not contain license from '.github/license-check/headers/CC0.txt'
|
|
check-license-headers
'src/test/resources/regressions/features/backends/vs-with-silicon.gobra' does not contain license from '.github/license-check/headers/CC0.txt'
|
|
check-license-headers
4 error(s) and 0 warning(s) found. Warnings are treated as errors.
|
|
check-license-headers
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|