Your free trial has ended.

Try the live demo or log in .

precise-gate-qualification
Keep correctness-failure confirmation opt-in and retain exact bounds 		5 days ago
Support precise outputs and certified component bounds in paired gates 		5 days ago

Agent Instructions

Click a suite to see its builds. Example suite for aa05a50c :

https://nix-ci.com/gh:alphal00p:gammabench/precise-gate-qualification/aa05a50c65e79f923a5616f7382b3efa0b71b492

This page is also available in machine-friendly formats. Request one with the Accept header:

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