aboutsummaryrefslogtreecommitdiffhomepage
path: root/.github
Commit message (Collapse)AuthorAgeFilesLines
* ci: fix gh action; add run examplesJohannes Stoelp2023-12-081-1/+4
|
* ci: introduce MakefileJohannes Stoelp2023-12-081-5/+8
| | | | | | | 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
* [ci]: run tests in example and generate doc for examplesJohannes Stoelp2023-12-052-1/+4
|
* gh action: add workflow trigger to rustdocJohannes Stoelp2023-02-271-0/+1
|
* Add gh action for tests and rustdocJohannes Stoelp2023-02-272-0/+53