Update Rust crate proptest to v1.12.0

5a3a934

Select commit

Loading

Failed to load commit list.

Uh oh!

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

Fuzz smoke tests on: pull_request 15

fuzz (parser)

fuzz (formatter)

fuzz (package_manifest)

fuzz (package_lockfile)

fuzz (plugin_manifest)

fuzz (plugin_section)

fuzz (generated_project)

fuzz-gate

Documentation on: pull_request 1

Build documentation

Deploy documentation

Dynamic safety on: pull_request 5

dynamic-safety-changes

plugin-miri

plugin-asan

lsp-loom

dynamic-safety-gate

Browser end-to-end on: pull_request 1

Browser smoke

Mutation tests on: pull_request 5

mutation-changes

daily (${{ matrix.shard.name }})

mutation ratchet tool

changed-region (informational)

mutation-gate

open mutation finding PR

Release on: pull_request 1

plan

precondition

build-local-artifacts (${{ join(matrix.targets, ', ') }})

build-global-artifacts

host

publish-crates

announce

CI on: pull_request 13

checks

public-surface

dependency-policy

test

formal

qa-corpus

windows

wasm

coverage

msrv

refactor-metrics

typos

report-engine-tools (ubuntu-24.04-arm)

report-engine-tools (macos-latest)

report-engine-tools (macos-15-intel)

ci-gate

GitHub Actions Security Analysis with zizmor on: pull_request 1

Run zizmor

Update Rust crate proptest to v1.12.0

Uh oh!

Select a check to view from the sidebar