Nix Agda CI

Fix Agda RPC for upcoming 2.8.0 #11

Sign in to view logs

Triggered via push March 4, 2025 16:31

4e554c4c

master

Status Success

Total duration 1m 4s

Artifacts –

nix-agda.yml

on: push

Matrix: Nix Agda