Status

Changes

Console Output

Polling Log

Git Build Data

Tests

Previous Build

Next Build

Changes

Started by GitHub push by MathieuMorlighem

Started 8 days 10 hr ago

Took 1 min 1 sec on Debian_12-VM

CHG: switch to curl -O when wget is unavailable:

scripts/DownloadExamplesDatasets.sh

mathieu.morlighem at 8:33 AM 9/29/26