From ca93d44cee89ea6eda9154144e5b2804403a9595 Mon Sep 17 00:00:00 2001
From: Ritvik Kapila <ritvik.iitd@gmail.com>
Date: Wed, 16 Oct 2024 13:53:04 -0700
Subject: [PATCH] fix

---
 .github/workflows/library_rust_tests.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.github/workflows/library_rust_tests.yml b/.github/workflows/library_rust_tests.yml
index c896635fe..2196e1907 100644
--- a/.github/workflows/library_rust_tests.yml
+++ b/.github/workflows/library_rust_tests.yml
@@ -75,8 +75,13 @@ jobs:
           git checkout rust-unsound
           make exe
           echo ${{ github.workspace }}/dafny/Scripts
+          echo $GITHUB_PATH
+          echo $GITHUB_ENV
           echo ${{ github.workspace }}/dafny/Scripts >> $GITHUB_PATH
+          echo ${{ github.workspace }}/dafny/Scripts >> $GITHUB_ENV
           echo ${{ github.workspace }}/dafny/Scripts
+          echo $GITHUB_PATH
+          echo $GITHUB_ENV
           dafny --version
 
       - name: Regenerate code using smithy-dafny if necessary