From 12be301560c01120da1d855539c66c99c602d04b Mon Sep 17 00:00:00 2001
From: palinatolmach <polina.tolmach@gmail.com>
Date: Fri, 13 Dec 2024 14:09:54 +0400
Subject: [PATCH] Fix typo in `github.event`

---
 .github/workflows/docker-push.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/docker-push.yml b/.github/workflows/docker-push.yml
index 1ba58a087..909a6da4d 100644
--- a/.github/workflows/docker-push.yml
+++ b/.github/workflows/docker-push.yml
@@ -20,14 +20,14 @@ jobs:
       - name: 'Check out code'
         uses: actions/checkout@v4
         with:
-          ref: ${{ github.events.inputs.kontrol_branch}}
+          ref: ${{ github.event.inputs.kontrol_branch}}
           fetch-depth: 0
 
       - name: 'Set environment'
         run: |
           KONTROL_VERSION=$(cat package/version)
           echo "CONTAINER_NAME=kontrol-ci-docker-${GITHUB_SHA}" >> ${GITHUB_ENV}
-          BRANCH_NAME="${{ github.events.inputs.kontrol_branch }}"
+          BRANCH_NAME="${{ github.event.inputs.kontrol_branch }}"
           SANITIZED_BRANCH_NAME=$(echo "${BRANCH_NAME}" | tr '/' '-' | tr -cd '[:alnum:]-_.')
           GHCR_TAG=ghcr.io/runtimeverification/kontrol/kontrol:ubuntu-jammy-${SANITIZED_BRANCH_NAME}
           echo "GHCR_TAG=${GHCR_TAG}" >> ${GITHUB_ENV}