tried removed 'Denial'

runtimeverification · Jan 24, 2025 · 56e3182 · 56e3182
1 parent 2608687
commit 56e3182
Showing 1 changed file with 1 addition and 3 deletions.
diff --git 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'