Skip to content
CI

[ ci ] Target both Agda-2.6.4.3 and Agda-2.7.0.1 #17

Sign in to view logs

[ ci ] Target both Agda-2.6.4.3 and Agda-2.7.0.1

[ ci ] Target both Agda-2.6.4.3 and Agda-2.7.0.1 #17

Annotations

1 warning

build-and-test (ubuntu-latest, 2.7.0.1)

build-and-test (ubuntu-latest, 2.7.0.1)
succeeded Dec 5, 2024 in 3m 8s