Skip to content
license-check

Hyper Gobra #1983

Sign in to view logs

Hyper Gobra

Hyper Gobra #1983

Triggered via pull request January 24, 2025 13:04
@ArquintLArquintL
synchronize #802
hyperGobra
Status Failure
Total duration 15s
Artifacts –

license-check.yml

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

Annotations

3 errors and 1 warning
check-license-headers
'src/main/scala/viper/gobra/translator/transformers/hyper/SIFLowGuardTransformer.scala' does not contain license from '.github/license-check/headers/MPLv2-ETH.txt'
check-license-headers
'src/main/scala/viper/gobra/util/Sound.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.
check-license-headers
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636