tmp

Inria-Prosecco · Nov 13, 2024 · 85a0fb3 · 85a0fb3
1 parent 7eddcc3
commit 85a0fb3
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml
@@ -53,7 +53,7 @@ jobs:
         with:
           ref: nightly
       # - run: nix build -L --no-link ".#charon"
-      - run: false
+      - run: true
 
   eurydice:
     needs: update-flake
@@ -114,15 +114,16 @@ jobs:
 
       - name: send zulip info message
         uses: slackapi/[email protected]
-        if: ${{ github.event_name == 'schedule' || github.event_name == 'workflow_dispatch' }}
+        # if: ${{ github.event_name == 'schedule' || github.event_name == 'workflow_dispatch' }}
         with:
           payload: |
             { "text": ${{ toJSON(env.MSG) }} }
         env:
           SLACK_WEBHOOK_URL: ${{ secrets.ZULIP_WEBHOOK_URL }}
 
       - name: send zulip error message
-        if: ${{ failure() && (github.event_name == 'schedule' || github.event_name == 'workflow_dispatch') }}
+        if: ${{ failure() }}
+        # if: ${{ failure() && (github.event_name == 'schedule' || github.event_name == 'workflow_dispatch') }}
         uses: slackapi/[email protected]
         with:
           payload: |