Disabling production environment

runtimeverification · Oct 2, 2023 · f91a575 · f91a575
1 parent ea10b54
commit f91a575
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 4 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -22,7 +22,7 @@ jobs:
   source-tarball:
     name: 'Create source tarball'
     runs-on: ubuntu-latest
-    #environment: production
+    environment: production
     steps:
       - name: 'Check out code'
         uses: actions/checkout@v3
@@ -46,7 +46,7 @@ jobs:
   nix-release:
     name: 'Nix Release'
     runs-on: ubuntu-20.04
-    #environment: production
+    environment: production
     steps:
       - name: Check out code
         uses: actions/checkout@v3

diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
@@ -152,7 +152,6 @@ jobs:
   source-tarball:
     name: 'Create source tarball'
     runs-on: ubuntu-latest
-    #environment: production
     steps:
       - name: 'Check out code'
         uses: actions/checkout@v3
@@ -177,7 +176,6 @@ jobs:
     name: 'Build MacOS Package'
     runs-on: macos-13
     timeout-minutes: 120
-    environment: production
     needs: [set-release-id, source-tarball]
     steps:
       - name: Check out code