Also run CI on ready PRs #4
Annotations
1 error
Invalid workflow file:
.github/workflows/build_theories.yml#L21
The workflow is not valid. .github/workflows/build_theories.yml (Line: 21, Col: 9): Unexpected symbol: '"pull_request"'. Located at position 22 within expression: github.event_name != "pull_request" || !github.event.pull_request.draft
|