summaryrefslogtreecommitdiff
path: root/scripts (unfollow)
Commit message (Expand)AuthorFilesLines
2024-05-29ci: Check correctness of the charon pinned commitNadrieril2-1/+23
2024-05-14Ensure `./charon` points to a valid charon cloneNadrieril1-0/+69
2024-05-14`./charon-pin` stores the current charon commitNadrieril1-0/+7