summaryrefslogtreecommitdiff
path: root/scripts/ci-check-charon-pin.sh (follow)
Commit message (Collapse)AuthorAgeFilesLines
* ci: Check correctness of the charon pinned commitNadrieril2024-05-291-0/+22