Run fewer proptest cases to improve testing time

46f15f2

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

DCO

DCO

Label Checker on: pull_request 1

check-labels

Validate Pull Request on: pull_request 90

docs-pr

update-guest-locks

check-golden-label

spell check with typos

check license headers

build-guests (X64, debug) / build-guests

build-guests (X64, release) / build-guests

build-guests (arm64, debug) / build-guests

build-guests (arm64, release) / build-guests

build-baseline-guests / build-guests

code-checks / linux-checks

code-checks / windows-checks

miri (X64) / miri

miri (arm64) / miri

build-test (hyperv-ws2025, amd, X64, debug) / build-and-test

build-test (hyperv-ws2025, amd, X64, release) / build-and-test

build-test (hyperv-ws2025, intel, X64, debug) / build-and-test

build-test (hyperv-ws2025, intel, X64, release) / build-and-test

build-test (mshv3, amd, X64, debug) / build-and-test

build-test (mshv3, amd, X64, release) / build-and-test

build-test (mshv3, intel, X64, debug) / build-and-test

build-test (mshv3, intel, X64, release) / build-and-test

build-test (kvm, amd, X64, debug) / build-and-test

build-test (kvm, amd, X64, release) / build-and-test

build-test (kvm, intel, X64, debug) / build-and-test

build-test (kvm, intel, X64, release) / build-and-test

build-test (kvm, apple, arm64, debug) / build-and-test

build-test (kvm, apple, arm64, release) / build-and-test

build-test (hvf, apple, arm64, debug) / build-and-test

build-test (hvf, apple, arm64, release) / build-and-test

build-test (hyperv-ws2025, arm, arm64, debug) / build-and-test

build-test (hyperv-ws2025, arm, arm64, release) / build-and-test

run-examples (hyperv-ws2025, amd, X64, debug) / run-examples

run-examples (hyperv-ws2025, amd, X64, release) / run-examples

run-examples (hyperv-ws2025, intel, X64, debug) / run-examples

run-examples (hyperv-ws2025, intel, X64, release) / run-examples

run-examples (mshv3, amd, X64, debug) / run-examples

run-examples (mshv3, amd, X64, release) / run-examples

run-examples (mshv3, intel, X64, debug) / run-examples

run-examples (mshv3, intel, X64, release) / run-examples

run-examples (kvm, amd, X64, debug) / run-examples

run-examples (kvm, amd, X64, release) / run-examples

run-examples (kvm, intel, X64, debug) / run-examples

run-examples (kvm, intel, X64, release) / run-examples

fuzzing (fuzz_host_print, X64) / fuzz

fuzzing (fuzz_guest_call, X64) / fuzz

fuzzing (fuzz_host_call, X64) / fuzz

fuzzing (fuzz_guest_estimate_trace_event, X64) / fuzz

fuzzing (fuzz_guest_trace, X64) / fuzz

fuzzing (fuzz_virtq_malformed, X64) / fuzz

fuzzing (fuzz_virtq_roundtrip, X64) / fuzz

benchmarks (X64, hyperv-ws2025, amd) / run-benchmarks

benchmarks (X64, hyperv-ws2025, intel) / run-benchmarks

benchmarks (X64, mshv3, amd) / run-benchmarks

benchmarks (X64, mshv3, intel) / run-benchmarks

benchmarks (X64, kvm, amd) / run-benchmarks

benchmarks (X64, kvm, intel) / run-benchmarks

post-benchmark-comment

report-ci-status

Label Checker on: pull_request 1

check-labels

Ready-for-review (collect) on: pull_request_review 1

collect

Ready-for-review (collect) on: pull_request_review 1

collect

Label Checker on: pull_request 1

check-labels

Label Checker on: pull_request 1

check-labels

Label Checker on: pull_request 1

check-labels

Ready-for-review (collect) on: pull_request_review 1

collect

Ready-for-review (collect) on: pull_request 1

collect

DCO / DCO succeeded Oct 8, 2026 in 0s

DCO

All commits are signed off!

View more details on DCO

Loading

Re-running checks...