From 56e3182cfbcb4713b5806548bd01a6764afd4bd2 Mon Sep 17 00:00:00 2001
From: dkcumming <daniel.cumming@runtimeverification.com>
Date: Fri, 24 Jan 2025 15:57:24 +1000
Subject: [PATCH] tried removed 'Denial'

---
 .github/workflows/test.yml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 885bdee..8c13f07 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -26,9 +26,7 @@ jobs:
           submodules: recursive
 
       - name: 'Build smir_pretty'
-        run: | # rustc bootstrap checks this and refuses stage 1 in "CI"
-          export GITHUB_ACTIONS="in denial" && \
-          echo "GITHUB_ACTIONS = ${GITHUB_ACTIONS}" && \
+        run: |
           cargo build
 
       - name: 'Run smir integration tests'