Nix Agda CI

Upgrade to stack lts 23.17 #50

Sign in to view logs

Triggered via push July 25, 2025 12:35

4e554c4c

v2.8.0

Status Success

Total duration 1m 3s

Artifacts –

nix-agda.yml

on: push

Matrix: Nix Agda