Unsoundness checks

add CI #2

Sign in to view logs

Triggered via push May 31, 2024 11:53

doug-q

main

Status Startup failure

Total duration –

Artifacts –

unsoundness.yml

on: push

Annotations

1 error

Invalid workflow file: .github/workflows/unsoundness.yml#L29

The workflow is not valid. .github/workflows/unsoundness.yml (Line: 29, Col: 9): Unexpected value 'install-llvm'