aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/.github (follow)
Commit message (Collapse)AuthorAge
* workflows/ci: refactoringEgor Tensin2023-07-26
|
* workflows/ci: restructure job dependenciesEgor Tensin2023-07-19
| | | | | The primary reason behind this was the desire to get rid of duplicate deployments to GitHub Pages.
* workflows/ci: publish stuff to gh-pagesEgor Tensin2023-07-18
|
* implement flame graph generationEgor Tensin2023-07-18
|
* 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