Skip to content
Check world (build F* and all projects)

Check world (build F* and all projects) #13

Sign in to view logs

Check world (build F* and all projects)

Check world (build F* and all projects) #13

Re-run triggered September 5, 2024 04:10
@mtzguidomtzguido
⁠ aeef4f3
_guidotest
Status Failure
Total duration 9m 18s
Artifacts 1

check-world.yml

on: workflow_dispatch
build-fstar
8m 55s
build-fstar
test-fstar-boot
9m 1s
test-fstar-boot
test-fstar
0s
test-fstar
build-pulse
0s
build-pulse
test-pulse-boot
2s
test-pulse-boot
Fit to window
Zoom out
Zoom in

Annotations

5 errors
build-fstar
Process completed with exit code 1.
test-pulse-boot
mtzguido/gci-download/master/action.yml (Line: 27, Col: 11): Unrecognized named-value: 'not'. Located at position 1 within expression: not inputs.no_set_home
test-pulse-boot
mtzguido/gci-download/master/action.yml (Line: 27, Col: 11): Unexpected symbol: '${{'. Located at position 1 within expression: ${{ not inputs.no_set_home }}
test-pulse-boot
GitHub.DistributedTask.ObjectTemplating.TemplateValidationException: The template is not valid. mtzguido/gci-download/master/action.yml (Line: 27, Col: 11): Unrecognized named-value: 'not'. Located at position 1 within expression: not inputs.no_set_home,mtzguido/gci-download/master/action.yml (Line: 27, Col: 11): Unexpected symbol: '${{'. Located at position 1 within expression: ${{ not inputs.no_set_home }} 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)
test-pulse-boot
Failed to load mtzguido/gci-download/master/action.yml

Artifacts

Produced during runtime
Name Size
FStar-boot Expired
244 MB