diff options
author | 2020-11-18 21:15:29 +0100 | |
---|---|---|
committer | 2020-11-18 21:39:19 +0100 | |
commit | ccd0e150d34693ff0d459e7b2d0300b30192e987 (patch) | |
tree | 3f525c5e48c24fb3198d698d8ded81711b56bc9b /README.md | |
parent | Pull snekbox image from GHCR in docker-compose (diff) |
Make sure we lint the actual pull request
Unfortunately, our old setup did not actually lint the PR, as it was
running in the context of the target repository. To sidestep the issue
of using `pull_request_target` altogether, I've now changed our run of
flake8 to using it directly and having it output its errors in teh
format of Workflow Commands.
This means that our flake8 output will not be translated automatically
in annotations for the run.
In addition, I've split up the workflow into two separate files: one for
linting & testing and one for building (& deploying).
Signed-off-by: Sebastiaan Zeeff <[email protected]>
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions