aboutsummaryrefslogtreecommitdiffhomepage
path: root/ci/Makefile
Commit message (Collapse)AuthorAgeFilesLines
* ci: run with debug and release in the default targetJohannes Stoelp9 days1-10/+18
|
* bf: rename file and add to ciJohannes Stoelp2024-12-081-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