aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/.github (unfollow)
Commit message (Collapse)Author
2023-08-27workflows/ci: separate job for publishing to PagesEgor Tensin
2023-08-27test: add a target to generate an HTML reportEgor Tensin
2023-08-27make test/perf -> make flame_graphsEgor Tensin
2023-07-26workflows/ci: refactoringEgor Tensin
2023-07-19workflows/ci: restructure job dependenciesEgor Tensin
The primary reason behind this was the desire to get rid of duplicate deployments to GitHub Pages.
2023-07-18workflows/ci: publish stuff to gh-pagesEgor Tensin
2023-07-18implement flame graph generationEgor Tensin
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