diff options
| author |  Sebastiaan Zeeff <[email protected]> | 2020-11-16 16:48:33 +0100 |
|---|---|---|
| committer | Sebastiaan Zeeff <[email protected]> | 2020-11-16 16:48:33 +0100 |
| commit | 7a5d61af3867eb79ed35f2748b2582f640897254 (patch) | |
| tree | ff390a7917002ebc608c2e13333df03a94466eac /bot/exts/evergreen/issues.py | |
| parent | Fix lint errors introduced by persistence removal (diff) | |
Split lint and build jobs into separate workflows
I've separated the lint and build jobs into two separate workflows:
- Lint: .github/workflows/lint.yaml
- Build: .github/workflows/build.yaml
The main difference is that the Build workflow will be triggered if the
Lint workflow completes while it's been run on the "master" branch. The
build job will check if the Lint run was successful and if it were, it
actually builds the container, pushes it the GHCR, and triggers the
deployment to our kubernetes cluster.
Diffstat (limited to 'bot/exts/evergreen/issues.py')
0 files changed, 0 insertions, 0 deletions