Skip to content
Sentry kernel proof with Frama-C

Adding msys2-based windows workflow #520

Sign in to view logs

Adding msys2-based windows workflow

Adding msys2-based windows workflow #520

Triggered via pull request January 15, 2025 07:38
@pthierry-ledgerpthierry-ledger
synchronize #118
pthierry-ledger:windows-build
Status Failure
Total duration 13s
Artifacts –

proof.yml

on: pull_request
run_framac
3s
run_framac
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 1 warning
run_framac
outpost-os/action-meson/main/action.yml (Line: 62, Col: 14): Unrecognized named-value: 'input'. Located at position 1 within expression: input.shell
run_framac
GitHub.DistributedTask.ObjectTemplating.TemplateValidationException: The template is not valid. outpost-os/action-meson/main/action.yml (Line: 62, Col: 14): Unrecognized named-value: 'input'. Located at position 1 within expression: input.shell at GitHub.DistributedTask.ObjectTemplating.TemplateValidationErrors.Check() at GitHub.Runner.Worker.ActionManifestManager.ConvertRuns(IExecutionContext executionContext, TemplateContext templateContext, TemplateToken inputsToken, String fileRelativePath, MappingToken outputs) at GitHub.Runner.Worker.ActionManifestManager.Load(IExecutionContext executionContext, String manifestFile)
run_framac
Failed to load outpost-os/action-meson/main/action.yml
run_framac
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636