CI: Split the pipeline into build and lint
This commit is contained in:
parent
d3dc844e9a
commit
7f280e463c
|
@ -2,7 +2,6 @@ pipeline:
|
|||
Prepare:
|
||||
image: beta.devheroes.codes/serene/ci:6
|
||||
commands:
|
||||
- ./builder setup
|
||||
- ./builder deps pull toolchain
|
||||
- ./builder deps pull bdwgc
|
||||
volumes:
|
|
@ -0,0 +1,7 @@
|
|||
pipeline:
|
||||
Linters:
|
||||
image: beta.devheroes.codes/serene/ci:6
|
||||
commands:
|
||||
- ./builder setup
|
||||
- export FILES="$(git diff --name-only HEAD HEAD~1)"
|
||||
- pre-commit --files "$FILES"
|
Loading…
Reference in New Issue