f1ff3e00

Prove affine guard implications and reuse bounded predicate restrictions

Agent Instructions

Each run corresponds to one flake attribute. Click a run for its logs and status.

Example: https://nix-ci.com/gh:alphal00p:rustred/main/f1ff3e0047f955860b7375ce8f1cb7e865dee25d/75cf666b-8d74-4f50-9083-95e7223383d2

Wait for suite to complete:

curl --netrc -N https://nix-ci.com/gh:alphal00p:rustred/main/f1ff3e0047f955860b7375ce8f1cb7e865dee25d/wait

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

• curl --netrc -H 'Accept: application/json' https://nix-ci.com/gh:alphal00p:rustred/main/f1ff3e0047f955860b7375ce8f1cb7e865dee25d
• curl --netrc -H 'Accept: text/markdown' https://nix-ci.com/gh:alphal00p:rustred/main/f1ff3e0047f955860b7375ce8f1cb7e865dee25d

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