summaryrefslogtreecommitdiff
path: root/scripts (unfollow)
Commit message (Expand)AuthorFilesLines
2024-06-21Update charonNadrieril1-1/+1
2024-05-30Update charon pin to local commit when developingNadrieril1-0/+11
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