aboutsummaryrefslogtreecommitdiffhomepage
path: root/ci
Commit message (Collapse)AuthorAgeFilesLines
* bf: rename file and add to ciJohannes Stoelp14 days1-0/+1
|
* ci: add check to run example in readmeJohannes Stoelp2023-12-131-1/+6
|
* 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