Debug Windows CI (again) (#3052)

This commit is contained in:
Dongjia "toka" Zhang 2025-03-07 14:26:58 +01:00 committed by GitHub
parent 41f16890b8
commit 0902dc06c4
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -61,8 +61,12 @@ jobs:
- name: Test the book (MacOS) - name: Test the book (MacOS)
if: runner.os == 'MacOS' if: runner.os == 'MacOS'
run: cd docs && mdbook test -L ../target/debug/deps $(python3-config --ldflags | cut -d ' ' -f1) run: cd docs && mdbook test -L ../target/debug/deps $(python3-config --ldflags | cut -d ' ' -f1)
- name: Run tests - name: Run tests (Windows)
run: cargo test -- --nocapture if: runner.os == 'Windows'
run: cargo test -- --test-threads 1
- name: Run tests (Linux)
if: runner.os != 'Windows'
run: cargo test
- name: Test libafl no_std - name: Test libafl no_std
run: cd libafl && cargo test --no-default-features run: cd libafl && cargo test --no-default-features
- name: Test libafl_bolts no_std no_alloc - name: Test libafl_bolts no_std no_alloc