Repository navigation

Delay errors in semanal for proper unreachability information - #20425

Open

A5rocks wants to merge 9 commits into

python:masterfrom

A5rocks:semanal-errors

Open

Delay errors in semanal for proper unreachability information#20425
A5rocks wants to merge 9 commits into
python:masterfrom
A5rocks:semanal-errors

Commits on Dec 16, 2025
- Delay errors in semanal for proper unreachability information
  A5rocks
  committed
  64ba2a4
Commits on Dec 17, 2025
- Only opt into delayed erors for the most important semanal points
  A5rocks
  committed
  edbd57b
- Opt out of unnecessary checks in checker.py
  A5rocks
  committed
  806266c
Commits on Dec 19, 2025
- Make semanal's side faster
  A5rocks
  committed
  1dd8690
- Try to fix spurious unreachability warnings
  A5rocks
  committed
  ec6b98d
- Fix test failures
  A5rocks
  committed
  8267da1
- Add test cases
  A5rocks
  committed
  347039d
- Start removing special cased `assert False`
  A5rocks
  committed
  6eba664
- Revert
  A5rocks
  committed
  556d37b