summaryrefslogtreecommitdiff
path: root/scripts/update-charon-pin.sh (follow)
Commit message (Expand)AuthorAgeFilesLines
* Update charon pin to local commit when developingNadrieril2024-05-301-0/+11
* ci: Check correctness of the charon pinned commitNadrieril2024-05-291-1/+1
* `./charon-pin` stores the current charon commitNadrieril2024-05-141-0/+7