summaryrefslogtreecommitdiff
path: root/scripts (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Update charonNadrieril2024-06-211-1/+1
|
* Update charon pin to local commit when developingNadrieril2024-05-301-0/+11
|
* ci: Check correctness of the charon pinned commitNadrieril2024-05-292-1/+23
|
* Ensure `./charon` points to a valid charon cloneNadrieril2024-05-141-0/+69
|
* `./charon-pin` stores the current charon commitNadrieril2024-05-141-0/+7
It is kept up-to-date in CI