Skip to content

[ ci ]

[ ci ] #24

build-and-test (ubuntu-latest, lts-20.26 Agda-2.6.4, ghc-9.2.8)

succeeded Nov 5, 2024 in 16m 21s