Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | ci: introduce Makefile | Johannes Stoelp | 2023-12-08 | 1 | -0/+19 |
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 |