Guix/Nix Package Policy

feat(tropical-bridge): wire Isabelle tropical proofs into VCL ProofCo… #159

Sign in to view logs

Triggered via push April 11, 2026 17:11

main

Status Success

Total duration 7s

Artifacts –

guix-nix-policy.yml

on: push