stack

[WIP] conditional elaboration of theories for cvc5 #569

Sign in to view logs

Triggered via pull request January 30, 2025 11:36

clayrat

synchronize #734

clayrat:cvc5-theories

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