2022-03-21 12:06:43 +00:00
|
|
|
task:
|
|
|
|
container:
|
2022-03-23 15:44:04 +00:00
|
|
|
dockerfile: .ci/Dockerfile
|
2022-03-21 12:06:43 +00:00
|
|
|
|
|
|
|
matrix:
|
2022-03-21 16:52:03 +00:00
|
|
|
- name: Check
|
|
|
|
only_if: ${GITHUB_USER} != "" && ${GITHUB_PAT} != "" && ${BASEROM_REPO} != ""
|
|
|
|
get_baseroms_script:
|
2022-03-23 15:44:04 +00:00
|
|
|
- git clone https://${GITHUB_USER}:${GITHUB_PAT}@github.com/${BASEROM_REPO}.git /tmp/baseroms
|
|
|
|
- cp /tmp/baseroms/* .
|
2022-03-21 16:52:03 +00:00
|
|
|
build_script:
|
2022-07-02 17:03:59 +00:00
|
|
|
- make extract
|
2022-03-21 16:52:03 +00:00
|
|
|
- make CPP=cpp -j
|
2022-03-23 15:44:04 +00:00
|
|
|
test_script:
|
2022-03-21 16:52:03 +00:00
|
|
|
- make check
|
|
|
|
|
2022-03-21 12:06:43 +00:00
|
|
|
- name: Format
|
|
|
|
test_script:
|
|
|
|
- find src -type f -name '*.[ch]' -print | xargs -d '\n' clang-format -i
|
|
|
|
- git diff --exit-code
|