Skip to content
High-Level (Coordinating) Workflow Continuous Integration EasyCrypt Projects

Branch "main" | Execute test "all" (in file "config/tests.config") | See details for EasyCrypt version/branch. #35

Sign in to view logs

Branch "main" | Execute test "all" (in file "config/tests.config") | See details for EasyCrypt version/branch.

Branch "main" | Execute test "all" (in file "config/tests.config") | See details for EasyCrypt version/branch. #35

Triggered via push November 19, 2024 20:46
@dconnollydconnolly
pushed 753444b
main
Status Startup failure
Total duration –
Artifacts –

ec-ci-hl.yml

on: push
preprocess-merge-x
preprocess-merge-x
check-custom  /  default
check-custom / default
check-default  /  default
check-default / default
check-merge-x  /  default
check-merge-x / default
Fit to window
Zoom out
Zoom in

Annotations

1 error
Invalid workflow file: .github/workflows/ec-ci-hl.yml#L41
The workflow is not valid. .github/workflows/ec-ci-hl.yml (Line: 41, Col: 13): The expression is not closed. An unescaped ${{ sequence was found, but the closing }} sequence was not found.