Test

[ fix ] Fix CI for building Agda 2.6.4 with Stack #1089

Sign in to view logs

Re-run triggered December 11, 2025 08:00

andy0130tw

#267

fix-ci-for-agda-2.6.4

Status Success

Total duration 3m 1s

Artifacts –

test.yml

on: pull_request

Matrix: build-and-test