diff options
| author | Guillaume Boisseau | 2024-06-21 16:25:54 +0200 |
|---|---|---|
| committer | GitHub | 2024-06-21 16:25:54 +0200 |
| commit | f264b9dcc6331eb9149d951f308cdc61c8c02801 (patch) | |
| tree | 2891753ba71bc8ddd3cc367b787a1acddbcf1741 /scripts | |
| parent | c8ad44f287215c3c45e5a0f0540ef507b4916c7d (diff) | |
| parent | d3f52e23ede39c4fd7845b6c5feb29d28b2a2384 (diff) | |
Merge pull request #254 from Nadrieril/declarationgroup-mixed
Diffstat (limited to '')
| -rwxr-xr-x | scripts/update-charon-pin.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/update-charon-pin.sh b/scripts/update-charon-pin.sh index 1fa706ae..304b2d83 100755 --- a/scripts/update-charon-pin.sh +++ b/scripts/update-charon-pin.sh @@ -5,7 +5,7 @@ if ! which jq 2> /dev/null 1>&2; then fi if [ -L charon ]; then - echo '`./charon` is a symlink; we using the commit there for our new pin.' + echo '`./charon` is a symlink; we will use the commit there for our new pin.' COMMIT="$(git -C charon rev-parse HEAD)" nix flake lock --override-input charon "github:aeneasverif/charon/$COMMIT" else |