Skip to content
CI

[ ci ] Add Agda-2.6.3 into the mix #25

Sign in to view logs

[ ci ] Add Agda-2.6.3 into the mix

[ ci ] Add Agda-2.6.3 into the mix #25

Annotations

1 error

build-and-test (macos-latest, Agda-2.6.3)

build-and-test (macos-latest, Agda-2.6.3)
failed Dec 6, 2024 in 10m 48s