Agda

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

Sign in to view logs

Triggered via push June 24, 2026 11:42

main

Status Success

Total duration 1h 29m 47s

Artifacts –

agda.yml

on: push