From e40150b2afe2e36f15f6bea1799f1b76e539cc94 Mon Sep 17 00:00:00 2001
From: Freeman <105403280+F-WRunTime@users.noreply.github.com>
Date: Mon, 27 Jan 2025 12:57:59 -0700
Subject: [PATCH] Update exec commands in docker to use '--login' to import the
 shells paths within the container to find kup (#947)

* modified:   .github/workflows/kontrol-push-unfixed-deps.yml
- Update exec commands in docker to use '--login' to import the shells
  paths within the container to ind kup

* Update kontrol-push-unfixed-deps.yml

Upgrade artifact-upload action to v4, v3 is deprecating soon. Resolving warning from summary
---
 .github/workflows/kontrol-push-unfixed-deps.yml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/kontrol-push-unfixed-deps.yml b/.github/workflows/kontrol-push-unfixed-deps.yml
index d4855da09..51eeee52b 100644
--- a/.github/workflows/kontrol-push-unfixed-deps.yml
+++ b/.github/workflows/kontrol-push-unfixed-deps.yml
@@ -56,12 +56,12 @@ jobs:
           if [ -n "${{ inputs.haskell-version }}" ]; then
               HASKELL_OVERRIDE="--override kevm/k-framework/haskell-backend ${{ inputs.haskell-version }}"
           fi
-          docker exec kontrol-build-with-kup-${{ github.run_id }} /bin/bash -c "kup install kontrol ${KONTROL_OVERRIDE} ${KEVM_OVERRIDE} ${K_OVERRIDE} ${LLVM_OVERRIDE} ${HASKELL_OVERRIDE}"
-          docker exec kontrol-build-with-kup-${{ github.run_id }} /bin/bash -c "kup list kontrol --inputs" >> versions.out
+          docker exec kontrol-build-with-kup-${{ github.run_id }} /bin/bash --login -c "kup install kontrol ${KONTROL_OVERRIDE} ${KEVM_OVERRIDE} ${K_OVERRIDE} ${LLVM_OVERRIDE} ${HASKELL_OVERRIDE}"
+          docker exec kontrol-build-with-kup-${{ github.run_id }} /bin/bash --login -c "kup list kontrol --inputs" >> versions.out
           docker commit kontrol-build-with-kup-${{ github.run_id }} ghcr.io/runtimeverification/kontrol-custom:${{ github.run_id }}
           docker push ghcr.io/runtimeverification/kontrol-custom:${{ github.run_id }}
       - name: 'Publish Versions to Artifacts'
-        uses: actions/upload-artifact@v3
+        uses: actions/upload-artifact@v4
         with:
           name: Versions
           path: versions.out