Guix/Nix Package Policy

fix(proofs): repair PA1 + PA2 Idris2 proofs (both were broken) #154

Sign in to view logs

Triggered via push April 17, 2026 16:36

main

Status Success

Total duration 26s

Artifacts –

guix-nix-policy.yml

on: push