Repository navigation

test: add a Hypothesis property test suite with a nightly run - #2869

Open

tonyandrewmeyer wants to merge 12 commits into

canonical:property-testsfrom

tonyandrewmeyer:rainy/hypothesis-pilot-trimmed-v2

Open

test: add a Hypothesis property test suite with a nightly run#2869
tonyandrewmeyer wants to merge 12 commits into
canonical:property-testsfrom
tonyandrewmeyer:rainy/hypothesis-pilot-trimmed-v2

Commits on Nov 10, 2026
- test: add a Hypothesis property test suite in test/property
  
  tonyandrewmeyer
  and
  claude
  committed
  540b97d
- ci: run the property tests on pull requests and nightly
  
  tonyandrewmeyer
  and
  claude
  committed
  662ab2f
Commits on Nov 11, 2026
- test: use st.builds for the port strategies, matching the status ones
  
  tonyandrewmeyer
  and
  claude
  committed
  012b96f
Commits on Nov 12, 2026
- ci: run the property tests on the property-tests branch
  
  tonyandrewmeyer
  and
  claude
  committed
  cfec9c2
- ci: name the property test job property, not test
  
  tonyandrewmeyer
  and
  claude
  committed
  a514602
Commits on Nov 13, 2026
- test: test the unknown status's dropped message as its own property
  
  tonyandrewmeyer
  and
  claude
  committed
  df33050
- test: test port-number validation rather than restating _to_ops
  
  tonyandrewmeyer
  and
  claude
  committed
  d877cd6
- docs: don't call the ci property-test profile small
  
  tonyandrewmeyer
  and
  claude
  committed
  3209da1
- ci: give the pull-request property run a 10-minute timeout
  
  tonyandrewmeyer
  and
  claude
  committed
  c9c26f7
- test: keep Hypothesis's deadline for local property-test runs
  
  tonyandrewmeyer
  and
  claude
  committed
  3280a2f
- test: drop the box-drawing section headers from the property tests
  
  tonyandrewmeyer
  and
  claude
  committed
  f09785e
- docs: say that ops.testing property tests live in test/property too
  
  tonyandrewmeyer
  and
  claude
  committed
  2b33ac9

Commits

Commits on Nov 10, 2026

Commits on Nov 11, 2026

Commits on Nov 12, 2026

Commits on Nov 13, 2026