summaryrefslogtreecommitdiff
path: root/.github (unfollow)
Commit message (Expand)AuthorFilesLines
2020-03-20Split coverage by featureNadrieril1-0/+50
2020-03-20Add coverage gathering with grcovNadrieril1-6/+21
2020-03-18Reorganize CI workflowsNadrieril4-98/+131
2020-03-18Don't upload coverage for all toolchainsNadrieril1-5/+27
2020-03-18Setup CI to test with various toolchainsNadrieril1-0/+13
2020-03-17Add clippy to CINadrieril1-10/+27
2020-03-17Setup Github actionsNadrieril1-0/+46