| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Added coverage targets to `Makefile.am` for convenience. (#2039) | Toni | 2023-07-07 |
| * | CI: fix `Performance` job (#1936) | Ivan Nardi | 2023-04-09 |
| * | configure: add an option to enable debug build, i.e `-g` (#1929) | Ivan Nardi | 2023-04-06 |
| * | Rework CI jobs to try reducing CI duration (#1903) | Ivan Nardi | 2023-03-22 |