Repository navigation

Nightly-lane test fixes: strudel worker-clock waits, a refused -exe fails, ownership_semantics passes the collect proof - #4161

Merged

borisbat merged 1 commit into

bbatkin/strudel-reds

Sep 28, 2026

Merged

Nightly-lane test fixes: strudel worker-clock waits, a refused -exe fails, ownership_semantics passes the collect proof#4161
borisbat merged 1 commit into
masterfrom
bbatkin/strudel-reds

Commits on Sep 28, 2026
- Nightly-lane test fixes: strudel tests wait on the worker clock; a refused -exe fails; ownership_semantics passes the collect proof
  
  borisbat
  and
  claude
  committed
  3d87033