blob: 63dfe3b6d6dfac77542de10d827a3d008261a168 (
plain)
1
2
3
4
5
6
7
|
#!/usr/bin/env bash
if ! which jq 2> /dev/null 1>&2; then
echo 'Error: command `jq` not found; please install it.'
exit 1
fi
echo '# This is the commit from https://github.com/AeneasVerif/charon that should be used with this version of aeneas.' > ./charon-pin
jq -r .nodes.charon.locked.rev flake.lock >> ./charon-pin
|
