mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2024-12-29 04:50:03 +01:00
Merge pull request #15770 from aabadie/pr/ci/docker_static-test-tools
ci: use riot/static-test-tools Docker image with static-tests and doc-build
This commit is contained in:
commit
61fd822efe
@ -8,7 +8,7 @@ version: 2
|
||||
jobs:
|
||||
doc-build:
|
||||
docker:
|
||||
- image: riot/riotbuild
|
||||
- image: riot/static-test-tools
|
||||
steps:
|
||||
- checkout
|
||||
- run: make doc
|
||||
|
6
.github/workflows/static-test.yml
vendored
6
.github/workflows/static-test.yml
vendored
@ -28,8 +28,8 @@ jobs:
|
||||
git config diff.renameLimit 16384
|
||||
fi
|
||||
git config apply.whitespace nowarn
|
||||
- name: Fetch riot/riotbuild Docker image
|
||||
run: docker pull riot/riotbuild:latest
|
||||
- name: Fetch riot/static-test-tools Docker image
|
||||
run: docker pull riot/static-test-tools:latest
|
||||
- name: Run static-tests
|
||||
run: |
|
||||
# Note: ${{ github.base_ref }} is empty when not in a PR
|
||||
@ -37,5 +37,5 @@ jobs:
|
||||
-e CI_BASE_BRANCH=${{ github.base_ref }} \
|
||||
-e GITHUB_RUN_ID=${GITHUB_RUN_ID} \
|
||||
-v $(pwd):/data/riotbuild \
|
||||
riot/riotbuild:latest \
|
||||
riot/static-test-tools:latest \
|
||||
make static-test
|
||||
|
Loading…
Reference in New Issue
Block a user