Proofs Gate

chore(deps): bump nixpkgs from `8c3cede` to `8c91a71` #9

Sign in to view logs

Triggered via pull request June 13, 2026 12:03

synchronize #213

dependabot/nix/nixpkgs-8c91a71

Status Success

Total duration 12s

Artifacts –

proofs.yml

on: pull_request

Detect relevant changes

Trusted-base audit (no new axioms)

Idris2 type-check (core + all cartridge ABIs)