Skip to content

Commit

Permalink
Print echidna version when the action runs
Browse files Browse the repository at this point in the history
This is useful to know what echidna version is being used on a test.
  • Loading branch information
elopez committed Aug 5, 2022
1 parent 95e4fc1 commit 169bbbc
Showing 1 changed file with 4 additions and 2 deletions.
6 changes: 4 additions & 2 deletions entrypoint.sh
Original file line number Diff line number Diff line change
Expand Up @@ -32,14 +32,16 @@ for SWITCH in $SWITCHES; do
fi
done

echo "Echidna version: $(echidna-test --version)" >&2
echo "Echidna command line: ${CMD[@]}" >&2
echo

SOLC_VERSION="$(get 'INPUT_SOLC-VERSION')"
if [[ -n "$SOLC_VERSION" ]]; then
solc-select install "$SOLC_VERSION"
solc-select use "$SOLC_VERSION"
fi

echo "${CMD[@]}" >&2

OUTPUT_FILE="$(get 'INPUT_OUTPUT-FILE')"
if [[ -n "$OUTPUT_FILE" ]]; then
echo "::set-output name=output-file::$OUTPUT_FILE"
Expand Down

0 comments on commit 169bbbc

Please sign in to comment.