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:59:42 -08:00
parent 6d98f3afae
commit 566e23f6ed
No known key found for this signature in database
GPG key ID: EFAE55A5F386F0C2
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
action.yml
View file

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