Guix/Nix Package Policy

feat: comprehensive improvements — Idris2 proofs, fuzz testing, CI, docs #45

Sign in to view logs

Triggered via push April 10, 2026 01:07

main

Status Success

Total duration 16s

Artifacts –

guix-nix-policy.yml

on: push