| Commit message (Collapse) | Author | Lines |
|
|
|
|
|
|
|
Instead detecting only custom emojis, rule now catch too Unicode emojis.
This converts Unicode emojis to :emoji: format and count them.
|
|
|
|
|
|
I've fixed the deploy stage of our build pipeline, as it got mixed in
with the old workflow file due to a merge conflict. The deploy stage is
currently split into a separate workflow; theoretically, this allows us
to trigger a redeploy from GitHub, without having to build the container
image again.
Signed-off-by: Sebastiaan Zeeff <[email protected]>
|
|
|
|
It's better to document these steps.
Signed-off-by: Sebastiaan Zeeff <[email protected]>
|
|
Signed-off-by: Sebastiaan Zeeff <[email protected]>
|
|
Signed-off-by: Sebastiaan Zeeff <[email protected]>
|
|
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]>
|
|
We're in the process of migrating snekbox to the GitHub Container
Repository, which will replace DockerHub. I've changed docker-compose to
reflect that change.
Signed-off-by: Sebastiaan Zeeff <[email protected]>
|
|
|
|
|