From 8c6e239f9874aaa70f14e7b27aba63766b475c17 Mon Sep 17 00:00:00 2001
From: John Guibas <john@succinct.xyz>
Date: Tue, 23 Jan 2024 17:40:55 -0800
Subject: [PATCH] turn off gha

---
 .github/workflows/release.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index f5198cc53b1d..9605879b25d5 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -47,7 +47,7 @@ jobs:
         working-directory: vm/cli
 
       - name: Build toolchain
-        run: GITHUB_ACCESS_TOKEN=${{ secrets.PRIVATE_PULL_TOKEN }} cargo prove build-toolchain
+        run: GITHUB_ACTIONS=false GITHUB_ACCESS_TOKEN=${{ secrets.PRIVATE_PULL_TOKEN }} cargo prove build-toolchain
 
       - name: Archive build output
         uses: actions/upload-artifact@v3