Documentation warning about the instances for Arbitrary (Set a) and friends being over the abstract set
#142
MaximilianAlgehedAnnotations
53 errors and 53 warnings
|
Haskell-CI - Linux - ghc-7.0.4
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-7.2.2
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-7.10.3
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-7.6.3
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-7.4.1
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-7.8.4
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-7.4.2
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-8.0.2
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-8.10.1
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-8.2.2
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-8.10.5
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-8.10.7
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-8.10.3
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-8.10.4
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-8.10.6
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-8.4.1
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-8.4.4
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-8.6.1
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-8.6.4
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-8.6.2
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-8.6.3
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-8.10.2
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-8.4.2
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-8.6.5
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-8.4.3
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-8.8.2
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-8.8.4
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-8.8.3
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-9.2.1
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-9.0.2
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-8.8.1
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-9.2.3
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-9.2.4
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-9.2.5
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-9.2.2
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-9.0.1
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-9.2.6
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-9.2.8
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-9.2.7
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-9.4.2
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-9.4.1
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-9.4.3
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-9.4.4
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-9.4.5
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-9.4.6
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-9.4.7
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-9.4.8
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-9.6.1
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-9.6.4
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-9.6.2
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-9.6.3
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-9.8.1
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-9.8.2
Process completed with exit code 1.
|
|
Haskell-CI - Linux - ghc-7.0.4
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-7.2.2
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-7.10.3
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-7.6.3
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-7.4.1
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-7.8.4
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-7.4.2
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-8.0.2
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-8.10.1
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-8.2.2
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-8.10.5
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-8.10.7
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-8.10.3
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-8.10.4
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-8.10.6
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-8.4.1
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-8.4.4
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-8.6.1
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-8.6.4
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-8.6.2
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-8.6.3
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-8.10.2
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-8.4.2
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-8.6.5
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-8.4.3
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-8.8.2
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-8.8.4
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-8.8.3
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-9.2.1
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-9.0.2
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-8.8.1
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-9.2.3
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-9.2.4
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-9.2.5
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-9.2.2
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-9.0.1
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-9.2.6
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-9.2.8
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-9.2.7
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-9.4.2
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-9.4.1
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-9.4.3
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-9.4.4
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-9.4.5
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-9.4.6
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-9.4.7
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-9.4.8
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-9.6.1
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-9.6.4
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-9.6.2
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-9.6.3
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-9.8.1
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Haskell-CI - Linux - ghc-9.8.2
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|