Check world (build F* and all projects)

Check world (test F* + all subprojects) #10

Sign in to view logs

Manually triggered September 5, 2024 03:24

mtzguido

_guidotest

Status Startup failure

Total duration –

Artifacts –

This workflow graph cannot be shown

A graph will be generated the next time this workflow is run.

Annotations

1 error

Invalid workflow file: .github/workflows/check-world.yml#L102

The workflow is not valid. .github/workflows/check-world.yml (Line: 102, Col: 9): Job 'build-pulse' depends on unknown job 'build-krml'.