aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/.github (follow)
Commit message (Collapse)AuthorAge
* switch to JSON-RPC as message formatEgor Tensin2023-07-18
| | | | | | Instead of the weird `struct msg` I had, I switched to the JSON-RPC format. It's basically the same, but has a well-defined semantics in case of errors.
* store process output in SQLiteEgor Tensin2023-07-09
|
* support code coverage report generationEgor Tensin2023-07-07
|
* workflows/ci: Valgrind tests should pass nowEgor Tensin2023-07-06
|
* workflows/ci: comment on Valgrind testsEgor Tensin2023-07-04
|
* add a GitHub Actions workflowEgor Tensin2023-07-04