Bring docs agda version in sync with .cabal file #415
liesnikov
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
Annotations
10 warnings
|
ubuntu-latest / ghc 9.6.3
• No explicit implementation for
|
|
ubuntu-latest / ghc 9.6.3
Pattern match is redundant
|
|
ubuntu-latest / ghc 8.8.4
• No explicit implementation for
|
|
ubuntu-latest / ghc 8.10.7
• No explicit implementation for
|
|
ubuntu-latest / ghc 9.0.2
• No explicit implementation for
|
|
ubuntu-latest / ghc 9.2.5
• No explicit implementation for
|
|
ubuntu-latest / ghc 9.2.5
Pattern match is redundant
|
|
ubuntu-latest / ghc 8.6.5
• No explicit implementation for
|
|
ubuntu-latest / ghc 9.4.3
• No explicit implementation for
|
|
ubuntu-latest / ghc 9.4.3
Pattern match is redundant
|