diff --git a/.github/workflows/fuzz-smoke.yml b/.github/workflows/fuzz-smoke.yml deleted file mode 100644 index 34e0ddc..0000000 --- a/.github/workflows/fuzz-smoke.yml +++ /dev/null @@ -1,25 +0,0 @@ -name: fuzz-smoke - -on: - push: - branches: [master, main] - pull_request: - branches: [master, main] - -jobs: - libfuzzer: - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v4 - - name: Install Rust - uses: dtolnay/rust-toolchain@stable - - name: Install cargo-fuzz - uses: taiki-e/install-action@cargo-fuzz - - name: Build fuzz targets (no sanitizer — stable) - run: cargo fuzz build -s none - working-directory: ${{ github.workspace }} - - name: Smoke all libFuzzer targets - run: bash scripts/fuzz-libfuzzer.sh - working-directory: ${{ github.workspace }} - env: - FUZZ_RUNS: "2000" diff --git a/.gitignore b/.gitignore index 3f699ac..66ab9fc 100644 --- a/.gitignore +++ b/.gitignore @@ -31,3 +31,6 @@ demo/fs_data/ demo/.demo_state/ demo/creds/ demo/test_bucket/ + +# Workflow kept locally only (not versioned) +.github/workflows/fuzz-smoke.yml