Add an experimental backend that uses Lean to discharge goals #1
Triggered via pull request
February 14, 2024 19:04
Status
Startup failure
Total duration
–
Artifacts
–
Annotations
1 error
Invalid workflow file:
.github/workflows/test-lean-auto.yml#L38
The workflow is not valid. .github/workflows/test-lean-auto.yml (Line: 38, Col: 9): Unexpected value 'working-directory'
|