Merge pull request #545 from diffblue/ebmc-packages-fixup3 #13
ebmc-release.yaml
on: push
Annotations
1 error
Invalid workflow file:
.github/workflows/ebmc-release.yaml#L28
The workflow is not valid. .github/workflows/ebmc-release.yaml (Line: 28, Col: 5): Unexpected value 'id'
|