Skip to content
Haskell CI

Pass the signature checking function to Agda #16220

Sign in to view logs

Pass the signature checking function to Agda

Pass the signature checking function to Agda #16220

Annotations

1 error

This job was cancelled