aboutsummaryrefslogtreecommitdiffhomepage
path: root/ci/Makefile
Commit message (Collapse)AuthorAgeFilesLines
* ci: fix gh action; add run examplesJohannes Stoelp2023-12-081-1/+7
|
* ci: introduce MakefileJohannes Stoelp2023-12-081-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