Skip to content
CI

Update Agda to 2.7 #4383

Sign in to view logs

Update Agda to 2.7

Update Agda to 2.7 #4383

Build and test (9.10.1, default, all)

Build and test (9.10.1, default, all)
succeeded Sep 20, 2024 in 25m 9s