diff options
| author | Jan Sucan <jan@jansucan.com> | 2024-04-27 15:55:17 +0200 |
|---|---|---|
| committer | Ján Sučan <jan@jansucan.com> | 2024-04-27 16:16:36 +0200 |
| commit | 820d4ddf1435805bbcb8a524e7b2408dca506ce3 (patch) | |
| tree | f711f3d20d6dac8a013c7af7732785f748a32199 /.github | |
| parent | 7f276fb89d659ad86bf2b862f4de4ed3c362d3d6 (diff) | |
github: User the CI docker image in workflows
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/pre-commit.yml | 16 | ||||
| -rw-r--r-- | .github/workflows/tests.yml | 8 |
2 files changed, 14 insertions, 10 deletions
diff --git a/.github/workflows/pre-commit.yml b/.github/workflows/pre-commit.yml index e30b0f5..b01aaba 100644 --- a/.github/workflows/pre-commit.yml +++ b/.github/workflows/pre-commit.yml @@ -10,15 +10,15 @@ jobs: run-pre-commit: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v3 + - name: Pull CI Docker image + run: docker pull ghcr.io/jansucan/diff-dd-ci:latest - - name: Install pre-commit - run: pip install pre-commit + - uses: actions/checkout@v3 - - name: Install cppcheck - run: | - sudo apt-get update - sudo apt-get install -y cppcheck + - name: Build diff-dd + # This is needed to create generated include files so cppcheck can find + # them + run: sh ./devel_tools/ci_container/run.sh make - name: Run pre-commit - run: pre-commit run --all-files + run: sh ./devel_tools/ci_container/run.sh pre-commit run --all-files diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml index a68b896..ef7e6c1 100644 --- a/.github/workflows/tests.yml +++ b/.github/workflows/tests.yml @@ -10,6 +10,10 @@ jobs: run-tests: runs-on: ubuntu-latest steps: + - name: Pull CI Docker image + run: docker pull ghcr.io/jansucan/diff-dd-ci:latest + - uses: actions/checkout@v3 - - shell: bash - run: make test + + - name: Run tests + run: sh ./devel_tools/ci_container/run.sh make test |