Auto merge of #1923 - JohnTitor:only-style-check, r=JohnTitor
Only style check on PRs to reduce CI time I think generating docs on PR jobs is overkill, just style check is enough.
This commit is contained in:
commit
d1d64b1731
|
@ -71,8 +71,8 @@ jobs:
|
|||
run: LIBC_CI=1 sh ./ci/run.sh ${{ matrix.target }}
|
||||
shell: bash
|
||||
|
||||
style_and_docs:
|
||||
name: Style and docs
|
||||
style_check:
|
||||
name: Style check
|
||||
runs-on: ubuntu-18.04
|
||||
strategy:
|
||||
fail-fast: true
|
||||
|
@ -82,5 +82,3 @@ jobs:
|
|||
run: sh ./ci/install-rust.sh
|
||||
- name: Check style
|
||||
run: sh ci/style.sh
|
||||
- name: Generate documentation
|
||||
run: LIBC_CI=1 sh ci/dox.sh
|
||||
|
|
Loading…
Reference in New Issue