Fix commit link on Slack message

:-)
FStarLang · Jul 24, 2023 · fd2f6cc · fd2f6cc
1 parent 76e73b2
commit fd2f6cc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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