Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | readme: update description of examples | Johannes Stoelp | 2024-02-28 | 1 | -3/+9 |
| | |||||
* | readme: fix link; split code in two lines | Johannes Stoelp | 2023-12-08 | 1 | -2/+3 |
| | |||||
* | ci: introduce Makefile | Johannes Stoelp | 2023-12-08 | 1 | -0/+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 | ||||
* | remove prelude | Johannes Stoelp | 2023-12-07 | 1 | -3/+4 |
| | |||||
* | fix typo | Johannes Stoelp | 2023-12-05 | 1 | -1/+1 |
| | |||||
* | update readme to describe examples | Johannes Stoelp | 2023-12-05 | 1 | -0/+6 |
| | |||||
* | Fix comment in README | Johannes Stoelp | 2023-10-22 | 1 | -1/+1 |
| | |||||
* | Fix readme for gitlite about formatter | Johannes Stoelp | 2023-03-05 | 1 | -0/+1 |
| | |||||
* | Remove falsely commit lines in readme | Johannes Stoelp | 2023-03-05 | 1 | -2/+0 |
| | |||||
* | Add gh action badges | Johannes Stoelp | 2023-03-05 | 1 | -0/+9 |
| | |||||
* | Updated doc comments | Johannes Stoelp | 2023-03-05 | 1 | -1/+1 |
| | |||||
* | Add README and LICENSE | Johannes Stoelp | 2023-02-27 | 1 | -0/+47 |