Skip to content

[ git ] Merge pull request #200 from fredrik-bakke/patch-1 #6

[ git ] Merge pull request #200 from fredrik-bakke/patch-1

[ git ] Merge pull request #200 from fredrik-bakke/patch-1 #6

Annotations

1 error

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

failed Nov 19, 2024 in 3m 8s