Agda

chore(nix->guix): remove flake.nix (Guix-only) #847

Sign in to view logs

Triggered via pull request June 24, 2026 11:42

opened #275

chore/nix-to-guix-2026-06-24

Status Success

Total duration 1h 34m 7s

Artifacts –

agda.yml

on: pull_request