ci(echidna): drop nightly campaign

Contracts rarely deploy outside PRs, so keep a single
time-boxed Echidna job on every pull request.

Author: 0xCardiE

.github/workflows/echidna-nightly.yml

@@ -8,16 +8,16 @@ permissions:
   contents: read
 
 concurrency:
-  group: echidna-fast-${{ github.event.pull_request.number || github.ref }}
+  group: echidna-${{ github.event.pull_request.number || github.ref }}
   cancel-in-progress: true
 
 env:
   NODEJS_VERSION: '20'
   ECHIDNA_IMAGE: ghcr.io/crytic/echidna/echidna:v2.3.1
 
 jobs:
-  echidna-fast:
-    name: Echidna (fast) / ${{ matrix.contract }}
+  echidna:
+    name: Echidna / ${{ matrix.contract }}
     runs-on: ubuntu-latest
     timeout-minutes: 20
     strategy:
@@ -44,9 +44,9 @@ jobs:
       - name: Install dependencies
         run: yarn install --frozen-lockfile
 
-      - name: Run Echidna (fast)
+      - name: Run Echidna
         env:
-          ECHIDNA_CONFIG: echidna/echidna.ci.fast.yaml
+          ECHIDNA_CONFIG: echidna/echidna.ci.yaml
           ECHIDNA_CONTRACT: ${{ matrix.contract }}
           ECHIDNA_TIMEOUT: '900'
         run: yarn echidna
@@ -55,7 +55,7 @@ jobs:
         if: failure()
         uses: actions/upload-artifact@v4
         with:
-          name: echidna-fast-${{ matrix.contract }}
+          name: echidna-${{ matrix.contract }}
           path: |
             echidna/logs/
             echidna/corpus/by-contract/

.github/workflows/echidna.yml

@@ -119,7 +119,7 @@ Harness layout, properties, and troubleshooting are documented in [echidna/READM
 yarn echidna
 ```
 
-CI runs a fast Echidna campaign on pull requests and a deeper multi-seed campaign nightly. See [echidna/README.md](./echidna/README.md#ci).
+CI runs Echidna on every pull request. See [echidna/README.md](./echidna/README.md#ci).
 
 ## Run
 

README.md

@@ -134,25 +134,18 @@ Config: `echidna/echidna.yaml` (`ECHIDNA_CONFIG` to override). Corpus/coverage:
 
 ## CI
 
-Workflows: [`.github/workflows/echidna.yml`](../.github/workflows/echidna.yml) (PRs) and [`.github/workflows/echidna-nightly.yml`](../.github/workflows/echidna-nightly.yml) (schedule).
+Workflow: [`.github/workflows/echidna.yml`](../.github/workflows/echidna.yml). Runs on every pull request (and manual `workflow_dispatch`).
 
-| Job | When | Budget | Timeout |
-|-----|------|--------|---------|
-| Fast | Every pull request | `echidna/echidna.ci.fast.yaml` (`testLimit` 4000, `seqLen` 80) | 20 minutes per harness (Echidna `--timeout` 900s) |
-| Nightly | 03:00 UTC + manual `workflow_dispatch` | `echidna/echidna.ci.nightly.yaml` (`testLimit` 100000, `seqLen` 320), seeds `1 2 3` | 180 minutes per harness |
-
-Both jobs run one GitHub Actions matrix entry per harness so a failure names the broken invariant surface. On failure the workflow uploads `echidna/logs/`, corpus reproducers under `echidna/corpus/by-contract/`, and `crytic-export/` as artifacts.
+One matrix job per harness, using `echidna/echidna.ci.yaml` (`testLimit` 4000, `seqLen` 80) with a 20-minute job timeout and Echidna `--timeout` 900s. On failure the workflow uploads `echidna/logs/`, corpus reproducers under `echidna/corpus/by-contract/`, and `crytic-export/` as artifacts.
 
 Reproduce a CI counterexample locally:
 
 ```bash
-ECHIDNA_CONFIG=echidna/echidna.ci.fast.yaml \
+ECHIDNA_CONFIG=echidna/echidna.ci.yaml \
 ECHIDNA_CONTRACT=EchidnaStakeRegistryHarness \
 yarn echidna
 ```
 
-Nightly campaigns only run automatically after this workflow is on the repository default branch (`master`). Until then, trigger **Echidna** via `workflow_dispatch`.
-
 ## Extend
 
 1. Add `src/echidna/Echidna*Harness.sol` — auto-discovered by `scripts/echidna.sh`.

echidna/README.md

@@ -1,6 +1,6 @@
 testMode: property
 
-# PR smoke campaign: reduced budget so the job finishes inside a strict timeout.
+# PR campaign: reduced budget so the job finishes inside a strict timeout.
 seqLen: 80
 testLimit: 4000
 shrinkLimit: 200