aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/.github (unfollow)
Commit message (Collapse)Author
2023-07-18switch to JSON-RPC as message formatEgor Tensin
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.
2023-07-09store process output in SQLiteEgor Tensin
2023-07-07support code coverage report generationEgor Tensin
2023-07-06workflows/ci: Valgrind tests should pass nowEgor Tensin
2023-07-04workflows/ci: comment on Valgrind testsEgor Tensin
2023-07-04add a GitHub Actions workflowEgor Tensin