stack

Clean up support for CVC5 #538

Sign in to view logs

Triggered via pull request December 18, 2024 23:44

ranjitjhala

synchronize #729

issue-728

Status Startup failure

Total duration –

Artifacts –

stack.yml

on: pull_request

Matrix: build

Waiting for pending jobs

Annotations

1 error

Invalid workflow file: .github/workflows/stack.yml#L38

The workflow is not valid. .github/workflows/stack.yml (Line: 38, Col: 11): A mapping was not expected