mirrored-actions/dagger-for-github
1
0
Fork 0
mirror of https://github.com/dagger/dagger-for-github.git synced 2026-01-02 05:19:47 +11:00
Code Issues Projects Releases Packages Wiki Activity

fix

Browse source 
Signed-off-by: Jeremy Adams <jeremy@dagger.io>
This commit is contained in:
Jeremy Adams 2024-12-22 08:57:32 -08:00
parent 909500b43c
commit 6d98f3afae
No known key found for this signature in database
GPG key ID: EFAE55A5F386F0C2
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
action.yml
View file

@ -70,9 +70,9 @@ runs:
COMMIT=${{ inputs.commit }}
if [[ -x "$(command -v dagger)" ]]; then
pre-installed-version="$(dagger --silent version | cut --fields 2 --delimiter ' ')"
if [[ "$pre-installed-version" != "$DAGGER_VERSION" ]]; then
echo "dagger ${pre-installed-version} is installed, but needed ${DAGGER_VERSION}"
pre_installed_version="$(dagger --silent version | cut --fields 2 --delimiter ' ')"
if [[ "$pre_installed_version" != "$DAGGER_VERSION" ]]; then
echo "dagger ${pre_installed_version} is installed, but needed ${DAGGER_VERSION}"
exit 1
fi
else