Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Doc/infra: Update my contact information | Patrick Georgi | 2023-09-24 | 1 | -2/+1 |
* | Documentation: Adjust master -> main branch | Stefan Reinauer | 2023-09-15 | 1 | -3/+3 |
* | docs/infra/services: Add Gerrit SSH host keys and fingerprints | Felix Singer | 2022-07-12 | 1 | -0/+15 |
* | Documentation/Infra: Update Jenkins doc with 2 new builders | Martin Roth | 2022-07-10 | 1 | -5/+24 |
* | Documentation/infra/builders.md: Fix markdown inssues | Martin Roth | 2022-05-03 | 1 | -54/+55 |
* | Documentation: Move services page to infrastructure section | Felix Singer | 2022-04-24 | 2 | -0/+50 |
* | Documentation: Rename infrastructure section | Felix Singer | 2022-04-24 | 1 | -2/+2 |
* | Documentation: Update document about jenkins builders | Martin Roth | 2022-04-24 | 1 | -43/+51 |
* | Documentation: Describe our Coverity Scan integration | Patrick Georgi | 2022-03-14 | 3 | -1/+105 |
* | Documentation: Fix up toctree | Patrick Georgi | 2021-05-28 | 1 | -1/+1 |
* | Documentation: Add documentation on jenkins builders | Martin Roth | 2021-01-25 | 2 | -0/+398 |