Nix Agda CI

Fix Agda RPC for upcoming 2.8.0 #10

Sign in to view logs

Triggered via push February 20, 2025 14:52

4e554c4c

fix-interval

Status Success

Total duration 1m 13s

Artifacts –

nix-agda.yml

on: push

Matrix: Nix Agda