enlarge goal naive and fix bug in ltl violation reset #970

Sign in to view logs

Triggered via push December 6, 2023 23:03

CesarLiu

ltl_configue

Status Startup failure

Total duration –

Artifacts –

main.yml

on: push

Annotations

1 error

Invalid workflow file: .github/workflows/main.yml#L19

The workflow is not valid. .github/workflows/main.yml (Line: 19, Col: 9): 'run' is already defined