build packages.x86_64-linux.genvalidity-property

Agent Instructions

Wait for completion, without logs:

curl --netrc -N https://staging.nix-ci.com/gh:NorfairKing:validity/development/2e2a164b15a08360c299f3860c104f868a7dde5e/d7cbd2fe-a34d-44b6-b220-2aa58dc2b74f/wait

Latest logs, with timestamps (streams while running):

curl --netrc -N https://staging.nix-ci.com/gh:NorfairKing:validity/development/2e2a164b15a08360c299f3860c104f868a7dde5e/d7cbd2fe-a34d-44b6-b220-2aa58dc2b74f/tail

All logs, with timestamps (available after completion):

curl --netrc https://staging.nix-ci.com/gh:NorfairKing:validity/development/2e2a164b15a08360c299f3860c104f868a7dde5e/d7cbd2fe-a34d-44b6-b220-2aa58dc2b74f/logs

Raw logs, from the start (no timestamps):

curl --netrc -N https://staging.nix-ci.com/gh:NorfairKing:validity/development/2e2a164b15a08360c299f3860c104f868a7dde5e/d7cbd2fe-a34d-44b6-b220-2aa58dc2b74f/raw-logs

Content types available for /logs and /tail (use Accept header):

• text/plain — human-readable annotated text
• text/csv — CSV with header row
• application/x-ndjson — newline-delimited JSON (one object per line)
• text/html — HTML view

Example:

curl --netrc -H "Accept: text/csv" https://staging.nix-ci.com/gh:NorfairKing:validity/development/2e2a164b15a08360c299f3860c104f868a7dde5e/d7cbd2fe-a34d-44b6-b220-2aa58dc2b74f/logs

Reproduce locally: https://staging.nix-ci.com/gh:NorfairKing:validity/development/2e2a164b15a08360c299f3860c104f868a7dde5e/d7cbd2fe-a34d-44b6-b220-2aa58dc2b74f/repro

For more instructions, fetch https://staging.nix-ci.com/instructions .