aboutsummaryrefslogtreecommitdiffhomepage
path: root/ci/Makefile
diff options
context:
space:
mode:
authorJohannes Stoelp <johannes.stoelp@gmail.com>2023-12-08 00:49:28 +0100
committerJohannes Stoelp <johannes.stoelp@gmail.com>2023-12-08 00:53:19 +0100
commitb5aea3fb5fcce31599e3d7397d5413a934132231 (patch)
tree3cc276b4a42d8864ede5283bc2c51eeaafff1228 /ci/Makefile
parentd233e44b04da45dcc99980662db6d3776d9f4a10 (diff)
downloadjuicebox-asm-b5aea3fb5fcce31599e3d7397d5413a934132231.tar.gz
juicebox-asm-b5aea3fb5fcce31599e3d7397d5413a934132231.zip
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
Diffstat (limited to 'ci/Makefile')
-rw-r--r--ci/Makefile19
1 files changed, 19 insertions, 0 deletions
diff --git a/ci/Makefile b/ci/Makefile
new file mode 100644
index 0000000..69d6c97
--- /dev/null
+++ b/ci/Makefile
@@ -0,0 +1,19 @@
+all: build build-examples check-fmt check-clippy check-tests check-examples
+
+build:
+ cargo build
+
+build-examples:
+ cargo build --examples
+
+check-fmt:
+ cargo fmt --check
+
+check-clippy:
+ cargo clippy -- -Dwarnings -Aclippy::new_without_default
+
+check-tests:
+ cargo test
+
+check-examples:
+ cargo test --examples