David Peter 4fd82d5f35 [red-knot] Property test improvements (#15358) ...

## Summary

- Add a workflow to run property tests on a daily basis (based on
`daily_fuzz.yaml`)
- Mark `assignable_to_is_reflexive` as flaky (related to #14899)
- Add new (failing) `intersection_assignable_to_both` test (also related
to #14899)

## Test Plan

Ran:

```bash
export QUICKCHECK_TESTS=100000
while cargo test --release -p red_knot_python_semantic -- \
  --ignored types::property_tests::stable; do :; done
```

Observed successful property_tests CI run

2025-01-08 22:24:57 +01:00

..

build-binaries.yml

Add actionlint as a pre-commit hook (with shellcheck integration) (#15021)

2024-12-16 17:32:49 +00:00

build-docker.yml

fix invalid syntax in workflow file (#15357)

2025-01-08 15:34:33 +00:00

ci.yaml

Make unreachable a test rule for now (#15252)

2025-01-04 12:52:08 +01:00

daily_fuzz.yaml

Update astral-sh/setup-uv action to v5 (#15193)

2024-12-29 21:29:37 -05:00

daily_property_tests.yaml

[red-knot] Property test improvements (#15358)

2025-01-08 22:24:57 +01:00

notify-dependents.yml

Migrate release workflow to cargo-dist (#9559)

2024-06-27 13:44:11 +02:00

pr-comment.yaml

Bump zizmor pre-commit hook to the latest version and fix new warnings (#15022)

2024-12-16 17:45:46 +00:00

publish-docs.yml

Upgrade zizmor to the latest version in CI (#15300)

2025-01-06 15:07:46 +00:00

publish-playground.yml

Run zizmor in CI, and fix most warnings (#14844)

2024-12-09 00:42:06 +00:00

publish-pypi.yml

Update astral-sh/setup-uv action to v5 (#15193)

2024-12-29 21:29:37 -05:00

publish-wasm.yml

Run zizmor in CI, and fix most warnings (#14844)

2024-12-09 00:42:06 +00:00

release.yml

Revert certain double quotes from workflow shell script (#14939)

2024-12-12 20:29:48 +05:30

sync_typeshed.yaml

[red-knot] knot_extensions Python API (#15103)

2025-01-08 12:52:07 +01:00