aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/.github/workflows (unfollow)
Commit message (Collapse)Author
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