blob: 418602b81387a811f04dc06742009d534860ea5e (
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.'
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
|
