diff --git a/.github/workflows/build-images.yml b/.github/workflows/build-images.yml
index 171ff57..dac4032 100644
--- a/.github/workflows/build-images.yml
+++ b/.github/workflows/build-images.yml
@@ -4,6 +4,7 @@ on:
   workflow_dispatch:
     inputs:
       push-images:
+        description: Whether to push images to Gitlab registry.
         required: true
         type: boolean
   pull_request:
@@ -65,7 +66,7 @@ jobs:
             type=semver,pattern={{major}}
             type=sha,prefix=sha-
       - name: Login to Gitlab registry
-        if: inputs.push_images
+        if: inputs.push-images
         uses: docker/login-action@v2
         with:
           registry: registry.gitlab.inria.fr/cromac/automateddiscoverytool