build: check format & lint in GitHub workflow #670
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Description
While preparing another change, I noticed that the
lint
script doesn't work and that there are formatting issues in the code.Both could be detected if the GitHub workflow
test
would also lint & check the formatting.This is added by this PR.
I also added a
verify
script to be able to easily execute all relevant scripts locally.To get the build green, we also need to format the code in this PR. I'd suggest to extract these formatting changes into another PR which should be merged before this one (#670).
Additional context
The current
lint
scripteslint '{src,apps,libs,test}/**/*.ts'
runs into the following error: