summaryrefslogtreecommitdiff
path: root/ci
AgeCommit message (Expand)Author
2023-11-21Fix two minor typosAhmed
2023-04-18ci: add a CI workflowManlio Perillo