From fd2f6ccc12e160905bde589dd3c4a3dbb48c78cb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Guido=20Mart=C3=ADnez?= <mtzguido@gmail.com>
Date: Mon, 24 Jul 2023 16:14:45 -0700
Subject: [PATCH] Fix commit link on Slack message

:-)
---
 .github/workflows/linux-x64-hierarchic.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/linux-x64-hierarchic.yaml b/.github/workflows/linux-x64-hierarchic.yaml
index c4270054d..47785c74c 100644
--- a/.github/workflows/linux-x64-hierarchic.yaml
+++ b/.github/workflows/linux-x64-hierarchic.yaml
@@ -65,7 +65,7 @@ jobs:
             ;;
           esac
           echo "CI_COMMIT=$(echo ${{ github.sha }} | grep -o '^........')" >> $GITHUB_ENV
-          echo "CI_COMMIT_URL=https://github.com/FStarLang/FStar/commit/${{ github.sha }}" >> $GITHUB_ENV
+          echo "CI_COMMIT_URL=https://github.com/FStarLang/karamel/commit/${{ github.sha }}" >> $GITHUB_ENV
       - name: Post to the Slack channel (if push/PR)
         if: ${{ always() && github.event_name != 'schedule' }}
         id: slack-pushpr