Guix/Nix Package Policy

proof(lean4/LambdaCNO): close church_zero (1 of 6); document 5 spec-b… #5

Sign in to view logs

Triggered via push April 17, 2026 20:14

main

Status Success

Total duration 19s

Artifacts –

guix-nix-policy.yml

on: push