History / Component Overview

Revisions

Markdown tidyup

PeterJCLaw committed Mar 12, 2024

624385e
Update project links CI is now on CircleCI (not travis) and default branches are (mostly) 'main' rather than 'master'.

PeterJCLaw committed Jan 21, 2023

11203d7
Link more build statuses

PeterJCLaw committed Mar 11, 2020

3cb9d41
Expand on the support srcomp-puppet has

PeterJCLaw committed Apr 20, 2019

516a4be
The ranker's CI is now on Circle

PeterJCLaw committed Apr 20, 2019

3e6ab82
GitHub is .com

PeterJCLaw committed Apr 15, 2018

394a086
Break out the repo overviews Change-Id: I96aba1c6e321dac8542c5518dcbe16137d9ab9ec

PeterJCLaw committed Apr 4, 2018

a773d7a