Status

Changes

Console Output

Polling Log

Git Build Data

Tests

Previous Build

Changes

Started by GitHub push by MathieuMorlighem

Started 4 hr 34 min ago

Took 13 min on Debian_12-VM

CHG: minor cosmetics for valgrind

src/c/cores/controlnudging_core.cpp

Mathieu Morlighem at 10:46 AM 6/23/26