Guix/Nix Package Policy

feat: add Lean 4 formal proofs — progress, preservation, determinism #11

Sign in to view logs

Triggered via push March 30, 2026 09:37

main

Status Success

Total duration 2m 9s

Artifacts –

guix-nix-policy.yml

on: push