Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | ci: add check to run example in readme | Johannes Stoelp | 2023-12-13 | 1 | -1/+6 |
| | |||||
* | ci: fix gh action; add run examples | Johannes Stoelp | 2023-12-08 | 1 | -1/+7 |
| | |||||
* | 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 |