license-check

Enables plugins within ViperServer #977

Sign in to view logs

Triggered via pull request January 21, 2025 09:42

ArquintL

opened #469

gobra-issue-823

Status Failure

Total duration 12s

Artifacts –

license-check.yml

on: pull_request

check-license-headers

Annotations

2 errors and 1 warning

check-license-headers

'client/src/test/data/decreases.gobra' does not contain license from '.github/license-check/headers/CC0.txt'

check-license-headers

1 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