From b5aea3fb5fcce31599e3d7397d5413a934132231 Mon Sep 17 00:00:00 2001 From: Johannes Stoelp Date: Fri, 8 Dec 2023 00:49:28 +0100 Subject: ci: introduce Makefile Add CI checks into ci/Makefile and update gh actions. Motivation is, that makefile can also be added as pre-commit hook for local development: > echo 'make -C ci' > .git/hooks/pre-commit; chmod +x .git/hooks/pre-commit --- .github/workflows/tests.yml | 13 ++++++++----- 1 file changed, 8 insertions(+), 5 deletions(-) (limited to '.github') diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml index 1c025c0..bdd74ed 100644 --- a/.github/workflows/tests.yml +++ b/.github/workflows/tests.yml @@ -16,16 +16,19 @@ jobs: - uses: actions/checkout@v2 - name: Build - run: cargo build --verbose + run: make -C ci build - name: Build examples - run: cargo build --verbose --examples + run: make -C ci build-examples - name: Check fmt - run: cargo fmt --check + run: make -C ci check-fmt + + - name: Check clippy lints + run: make -C ci check-clippy - name: Run tests - run: cargo test --verbose + run: make -C ci check-test - name: Run example tests - run: cargo test --examples --verbose + run: make -C ci check-examples -- cgit v1.2.3